use ttyS1 for the kernel console on fasolo