Document possible hypervisor bug in serial_console