Re: [coreboot] VIA VX800 patch