"lib/psci/psci_setup.c" did not exist on "9d070b9928b874700395ca48780ce2c88b70e588"