NixOS on ARM/Teres-I