"include/lib/aarch64/arch_helpers.h" did not exist on "a7934d69508872919787742c7680b68807c24361"