x86_64 SMP EFI InstallAROS from fresh nvme disk is working very well, it formatted the efi drive (named aptly EFI) itself, copied efi and boot(!) and the usual sys over. and booted alone nicely.