[Concept] [PATCH 05/19] efi: Use the same format for all EFI_GUID() declarations