freebsd-skq/sys/arm/include/efi.h