"services/std_svc/psci1.0/psci_setup.c" did not exist on "ab8707e6875a9fe447ff04fad9053d7d719f89e6"