"lib/psci/psci_private.h" did not exist on "a1d80440c44ce70e5fec4d8c60b5f6688b6cf8ff"