Re: [coreboot] [PATCH] workaround v2 VIA ROMCC breakage