igfx: support for X200 (thanks bigato)

lib/vgadb

@@ -436,6 +436,7 @@ ctlr
 
 ctlr
 	vid=0x8086 did=0x0166	# X230
+	vid=0x8086 did=0x2a43	# X200
 	vid=0x8086 did=0x2a42	# X200s
 	link=vga
 	hwgc=igfxhwgc
@@ -1699,15 +1700,18 @@ x230=1366x768		# 60Hz
 	lcd=1
 
 #
-# Lenovo X200s (LCD) LVDS
+# Lenovo X200 (LCD) LVDS
 #
-x200s=1280x800		# 60Hz
+x200=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,7 +84,10 @@ igfxcurregs(VGAscr* scr, int pipe)
 	/* check PIPExCONF if enabled */
 	if((scr->mmio[(0x70008 | o)/4] & (1<<31)) == 0)
 		return nil;
-	if(scr->pci->did == 0x2a42){	/* G45 */
+	switch(scr->pci->did){
+	case 0x2a42:	/* X200 */
+	case 0x2a43:	/* X200s */
+		/* G45 */
 		if(pipe > 1)
 			return nil;
 		o = pipe*0x40;

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

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