"lib/psci/psci_setup.c" did not exist on "32bc85f2d5234fbc4d1f724db3d033b8e1be5dd3"