"lib/psci/psci_setup.c" did not exist on "264999fc601e5b72e31aeb66101b57e409e2f68b"