--- linux/arch/i386/kernel/setup.c.orig	2003-02-03 13:26:38.000000000 +0100
+++ linux/arch/i386/kernel/setup.c	2003-02-14 14:14:12.000000000 +0100
@@ -1421,7 +1421,7 @@
 			 * If the BIOS didn't enable it already, enable it
 			 * here.
 			 */
-			if (c->x86_model == 6 || c->x86_model == 7) {
+			if (c->x86_model == 6 || c->x86_model == 7 || c->x86_model == 8) {
 				if (!test_bit(X86_FEATURE_XMM,
 					      &c->x86_capability)) {
 					printk(KERN_INFO