"include/arch/aarch32/arch_helpers.h" did not exist on "8fd9d4d58a2f1af37fd1e3e71ee9d81f50c67684"