[coreboot] Intel i5000 Port