Имеется компьютер, который не имеет поддержки Legacy boot, только UEFI (а вот Secure boot отключаемый и по дефолту даже не активен). Также на нём стоит 32-битный UEFI (процессор Intel Atom), хоть процессор и умеет в 64 бита.
Хочу я поставить на эту систему ArchLinux. А фиг вам - на установочном образе загрузчик для UEFI только 64-битный.
Откуда взять 32-битный образ?
А можно ли загрузчик поставить 32-битный (чтобы его смог загрузить UEFI), а запускать 64-битное ядро? Или на UEFI такое невозможно?