"include/lib/psci/psci.h" did not exist on "126866f0110c6096256cd580bc778539d16b06fd"