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