"include/arch/aarch32/arch_helpers.h" did not exist on "94f4700017bbcabc46d76c2d4fba24b9be73fa6c"