"services/std_svc/psci/psci_setup.c" did not exist on "df64a55b3a675a61b88bb4d0a357ba7085000cdc"