# Pastebin vgN8ZICx
# This is an hybrid of the original `sd-image-raspberrypi4` from:
# https://github.com/NixOS/nixpkgs/blob/9a0b7457d304b85444ac07cbb0c0aa45cf453d63/nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix
# And this PR: https://github.com/NixOS/nixpkgs/pull/78090
# NOTE: once the mainline kernel boots on the Pi 4 this won't be necessary anymore.