"lib/psci/psci_setup.c" did not exist on "0959db5c99b189a1b04515050ef64348de6a2503"