"include/lib/smccc.h" did not exist on "5b827a8fb6ea5cddf2cc80d724b58350457afc54"