"include/arch/aarch32/arch.h" did not exist on "ef69e1ea629542865f2c9b04df578aaa3966fb6a"