"include/lib/psci/psci.h" did not exist on "c2b43afc547b390d0b45aae0802af0479edaf0e5"