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