[coreboot] via pc3500g