I have successfully booted on rockpro64 using https://github.com/Mic92/nixos-aarch64-images but then after doing`nixos-rebuild switch` and reboot the system hangs at

```
## Flattened Device Tree blob at 01f00000
   Booting using the fdt blob at 0x1f00000
```

With nothing happening after. Has anyone experienced the same? I guess this has something to do with uboot. Perhaps I should try with 2021.01 merged yesterday.