note that we pin mobile-nixos and nixpkgs: the nixpkgs pin might be
unnecessary, however the mobile-nixos pin is essential because
the uboot target creates a non-bootable image shortly after the chosen
commit. mobile-nixos is in the process of switching away from uboot and to tow-boot.