"lib/psci/psci_setup.c" did not exist on "84c9f1003c911432a4036d03c5394894cb5757d2"