Previously, printf would output directly to UART, which led to race
conditions.  With removing card10-board from pycardium and implementing
_write() directly, this can be fixed.  Now printf & co will output via
Epicardium API.

Signed-off-by: Rahix <rahix@rahix.de>