"include/lib/smccc.h" did not exist on "4ecca33988b90de43ec4f4a929094a38a23fda31"