"include/lib/smccc.h" did not exist on "07f4e078b6871e5c74f6cb38f2726a2cfcb2b746"