[Question] Anyone able to boot a fresh install of AlmaLinux/RHEL10?

[rieje]

Anyone able to boot a fresh install of AlmaLinux/RHEL 10? After booting with UEFI firmware to a standard AlmaLinux 10 aarch64 ISO, I could not get both the graphical and Kickstart install working with them complaining about efi partition cannot be of type vfat even though I confirmed it is a FAT 32 EFI partition. It seems the only way to actually get a successful install is to let AlmaLinux reformat it (i.e. the existing partition can't simply be selected for mounting), but then on reboot it won't boot into the system. Removing the contents of /boot and and unzipping this UEFI firmware back to the directory and rebooting, the Pi does not see the drive as bootable, going straight attempting to PXE boot.

Any ideas?