*** include/linux/pci.h.orig	Sun Nov 24 18:46:38 1996
--- include/linux/pci.h	Sun Nov 24 18:47:39 1996
***************
*** 552,557 ****
--- 552,559 ----
  #define PCI_DEVICE_ID_INTEL_82437	0x122d
  #define PCI_DEVICE_ID_INTEL_82371_0	0x122e
  #define PCI_DEVICE_ID_INTEL_82371_1	0x1230
+ #define PCI_DEVICE_ID_INTEL_82371MX	0x1234
+ #define PCI_DEVICE_ID_INTEL_82430MX	0x1235
  #define PCI_DEVICE_ID_INTEL_82441	0x1237
  #define PCI_DEVICE_ID_INTEL_82439	0x1250
  #define PCI_DEVICE_ID_INTEL_82371SB_0	0x7000
*** drivers/pci/pci.c.orig	Sun Nov 24 18:47:50 1996
--- drivers/pci/pci.c	Sun Nov 24 18:48:59 1996
***************
*** 229,234 ****
--- 229,236 ----
  	DEVICE( INTEL,		INTEL_82437,	"82437"),
  	DEVICE( INTEL,		INTEL_82371_0,	"82371 Triton PIIX"),
  	DEVICE( INTEL,		INTEL_82371_1,	"82371 Triton PIIX"),
+ 	DEVICE( INTEL,		INTEL_82371MX,	"82371MX Mobile PCI I/O IDE Xcelerator (MPIIX)"),
+ 	DEVICE( INTEL,		INTEL_82430MX,	"82430MX Mobile PCIset"),
  	DEVICE( INTEL,		INTEL_82441,	"82441FX Natoma"),
  	DEVICE( INTEL,		INTEL_82439,	"82439HX Triton II"),
  	DEVICE(	INTEL,		INTEL_82371SB_0,"82371SB Natoma/Triton II PIIX3"),