# Pastebin yd3ABx5O
$ efibootmgr -r -v
DriverOrder: 0000
Driver0000* DtbLoader	VenHw(860845c1-be09-4355-8bc1-30d64ff8e63a)/HD(1,GPT,8bf3afd0-4697-4674-baa8-7a9e6b6cb29d,0x100,0x10400)/File(\DtbLoader.efi)