$ efibootmgr
BootCurrent: 0004
Timeout: 0 seconds
BootOrder: 0000,0004,0001,0003,0002
Boot0000* debian
Boot0001* Hard Drive
Boot0002* UEFI: Built-in EFI Shell
Boot0003* USB
Boot0004* UEFI: UFD 2.0 Silicon-Power16G8.07

$