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