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