MBED_2 stdio test fails under DISCO_F407VG