"include/lib/psci/psci_compat.h" did not exist on "674878464a93bb6d6bf6cb746fc4b9dba6e101ac"