Fix bootloader path

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index 22e53af1bab5ebef91b0cc5a581e4821ef25f76e..ff96362fc92c4576bf9b7512a4908d4a5143a080 100644 (file)
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -1654,7 +1654,7 @@ def make_image(state: MkosiState, skip: Sequence[str] = [], split: bool = False)
         definitions = state.workspace / "repart-definitions"
         if not definitions.exists():
             definitions.mkdir()
-            bootloader = state.root / f"efi/EFI/BOOT/BOOT{state.config.architecture.to_efi()}.EFI"
+            bootloader = state.root / f"efi/EFI/BOOT/BOOT{state.config.architecture.to_efi().upper()}.EFI"
 
             # If grub for BIOS is installed, let's add a BIOS boot partition onto which we can install grub.
             bios = (state.config.bootable != ConfigFeature.disabled and want_grub_bios(state))