[coreboot] VIA VX800 patch