a2d16bc541
will be used to call into UEFI from the kernel. Sponsored by: DARPA, AFRL
will be used to call into UEFI from the kernel. Sponsored by: DARPA, AFRL