[coreboot] Intel P35/Q35/G33/Q33/G31/P31