Xavier, did you succeed in disabling the serial console? I have a project where there is serial communication with Arduino over /dev/ttyATH0, and the serial console is messing up the comms.