gnu-efi/lib/x86_64/initplat.c