# for example, you can boot the live usb again and run efibootmgr and look for the debian entry there, and the path to the file it specifies to launch