Re: [coreboot] [PATCH] model_65x CPU support