Re: [coreboot] patch: more generic mainboard name