[coreboot] [PATCH] Athlon64 K8 fixes