"lib/psci/psci_setup.c" did not exist on "8c5fe0b5b9f1666b4ddd8f5849de80249cdebe40"