"lib/psci/psci_setup.c" did not exist on "a43d431b80541ea436b71f967c5749babf978c7a"