Provide a (yet unmerged) patch that allows NixOS to boot correctly on new Pi4 boards using the BCM2711C0 SoC. Revert this when the patch is available in mainline U-Boot. Co-authored-by: Samuel Dionne-Riel <samuel@dionne-riel.com>
