Bang Jun-Young <junyoung@netbsd.org> writes:

> People have complaint that NetBSD doesn't properly identify their Intel
> processors. I made a patch to address that, here it is:

> +	case 8:
> +		if (ci->ci_brand_id && ci->ci_brand_id < 0x10)
> +			ret = i386_intel_brand[ci->ci_brand_id];

The brand id is not enough to identify processors. C.f
http://mail-index.netbsd.org/current-users/2002/11/09/0023.html

/Johan