"include/bl32/sp_min/platform_sp_min.h" did not exist on "e83b0cadc67882c1ba7f430d16dab80c9b3a0228"