Tty for serial port to Arduino from Linino

[federicofissore]

Indeed, disabling printk doesn't seem a very good idea: I fear we may lose dmesg output, making device debugging (wifi in particular) impossible