[coreboot] [FILO] #9: problems if VGA/serial console are different sizes