[Concept] [PATCH 03/18] efi: Allow inclusion of EFI-runtime headers