./lib/uefi.c3l from boson-bootloader