igfx: reverting previous change, pci id is for the second graphics controller pci device

lib/vgadb

@@ -436,7 +436,6 @@ ctlr
 
 ctlr
 	vid=0x8086 did=0x0166	# X230
-	vid=0x8086 did=0x2a43	# X200
 	vid=0x8086 did=0x2a42	# X200s
 	link=vga
 	hwgc=igfxhwgc
@@ -1700,18 +1699,15 @@ x230=1366x768		# 60Hz
 	lcd=1
 
 #
-# Lenovo X200 (LCD) LVDS
+# Lenovo X200s (LCD) LVDS
 #
-x200=1280x800		# 60Hz
+x200s=1280x800		# 60Hz
 	clock=75
 	shb=1296 ehb=1344 ht=1512
 	vrs=802 vre=804 vt=830
 	hsync=- vsync=-
 	lcd=1
 
-x200s
-	alias=x200
-
 #
 # LG Flatron L1730P
 #

sys/src/9/pc/vgaigfx.c

@@ -84,10 +84,7 @@ igfxcurregs(VGAscr* scr, int pipe)
 	/* check PIPExCONF if enabled */
 	if((scr->mmio[(0x70008 | o)/4] & (1<<31)) == 0)
 		return nil;
-	switch(scr->pci->did){
-	case 0x2a42:	/* X200 */
-	case 0x2a43:	/* X200s */
-		/* G45 */
+	if(scr->pci->did == 0x2a42){	/* G45 */
 		if(pipe > 1)
 			return nil;
 		o = pipe*0x40;

sys/src/cmd/aux/vga/igfx.c

@@ -305,7 +305,6 @@ devtype(Igfx *igfx)
 	case 0x0166:	/* X230 */
 		return TypeIVB;
 
-	case 0x2a43:	/* X200 */
 	case 0x2a42:	/* X200s */
 		return TypeG45;
 	}