"lib/psci/aarch64/psci_helpers.S" did not exist on "add403514d0f792b9df3c81006cd9a9395b213f6"