"lib/psci/psci_setup.c" did not exist on "35e98e5588d09145f7d0d4d98624f6b75321a187"