"lib/psci/psci_setup.c" did not exist on "75f7367b4c5419634004bfae9c1e47ca45937396"