Re: [coreboot] [Bug?] 3 different bytes in VGAbios after upgrade to coreboot