[coreboot] boards