Creating NixOS SD Card Installer for Raspberry Pi 5