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