NixOS Setup Part 2: the reboot