кстати, я встречал гайд «как водрузить nixos на атом с EFI»
есть такое, но с моей любовью к полной переустановке это слишком долгий процесс. Там надо 32-битную установить определенным образом, потом с неё загрузить 64-битную и установить её, не трогая загрузчик