[coreboot] VX 800 board with socket BIOS and VIA Nano