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