Work around Mbed CLI 1 build error, due to PSA header incompatibility with Mbed TLS. Cherry picked from 564233bff389d9db6be5b2b0065de54c761dedce on the tfm_latest_integration_check branch.
Drop the requirement of "make", as we now use "ninja" as the CMake generator.