"lib/psci/psci_private.h" did not exist on "607084ee4c2a7c20832beb8cd1d5cebf02b2cb26"