Bug in mbed. Due to the call of printf inside mbed-os during interrupt (when program crashes)

@amitchone we already discus about that but he probably means another problem. See Serial interrupt not cleared after the interrupt?

BR, Jan