Re: [coreboot] workaround for mahogany_fam10. Not a signed-off-by