[PATCH 5/7] Allow efi_loader header to be included always