[LinuxBIOS] #80: serial console in grub2 works