Added support for serial-line printing in mini kernel.