"include/arch/aarch32/smccc_helpers.h" did not exist on "93c78ed231a6ea30f1c30ecbbb0f245fa9d75075"