"include/lib/smccc.h" did not exist on "3140a9e5c7d524eb1ea1648ae7c26e61fe7d740c"