"lib/psci/psci_private.h" did not exist on "6c0b45d1ceb13cb409f8d62d712d6f0c44feab6c"