[coreboot] patch: more generic mainboard name