efi_config.h revision 23aa0502
1