/infra/libkookie/nixpkgs/pkgs/misc/arm-trusted-firmware/