[efi] Add EFI image format and basic runtime environment