/sys/stand/efi/include/amd64/