The text d7c417f9b1f0, as Debian 7 (Wheezy) shipped it.
setup the serial console parameters
uart_set_options(9) on Linux now
