/src/include/gpxe/efi/Protocol/