Files
nix-config/packages/edk2/patches/platforms/0006-Silicon-Bcm2712-Add-GPIO-support-library.patch