Files
nix-config/packages/edk2/patches/platforms/0002-Platform-RaspberryPi-Read-board-revision-and-serial-.patch