OS-3635 GRUB should allow multiple serial consoles