"lib/psci/psci_setup.c" did not exist on "674878464a93bb6d6bf6cb746fc4b9dba6e101ac"