It could be useful to define the pico_mbedtls library also in common library and not only in rp2_common.