Add vendor ID to make Marvell chipset work. E.g. to be found

on SMC9452TX it seems

Submitted by: Jung-uk Kim <jkim@niksun.com>
Tested by: <Radu Bogdan 'veedee' Rusu> veedee@c7.campus.utcluj.ro
MFC after: 2 weeks

sys/dev/sk/if_sk.c

@@ -151,6 +151,11 @@ static struct sk_type sk_devs[] = {
 		DEVICEID_SK_V2,
 		"SysKonnect Gigabit Ethernet (V2.0)"
 	},
+	{
+		VENDORID_MARVELL,
+		DEVICEID_SK_V2,
+		"Marvell Gigabit Ethernet"
+	},
 	{
 		VENDORID_3COM,
 		DEVICEID_3COM_3C940,

sys/dev/sk/if_skreg.h

@@ -59,6 +59,11 @@
  */
 #define VENDORID_SK		0x1148
 
+/*
+ * Marvell PCI vendor ID
+ */
+#define VENDORID_MARVELL	0x11AB
+
 /*
  * SK-NET gigabit ethernet device IDs
  */

sys/pci/if_sk.c

@@ -151,6 +151,11 @@ static struct sk_type sk_devs[] = {
 		DEVICEID_SK_V2,
 		"SysKonnect Gigabit Ethernet (V2.0)"
 	},
+	{
+		VENDORID_MARVELL,
+		DEVICEID_SK_V2,
+		"Marvell Gigabit Ethernet"
+	},
 	{
 		VENDORID_3COM,
 		DEVICEID_3COM_3C940,

sys/pci/if_skreg.h

@@ -59,6 +59,11 @@
  */
 #define VENDORID_SK		0x1148
 
+/*
+ * Marvell PCI vendor ID
+ */
+#define VENDORID_MARVELL	0x11AB
+
 /*
  * SK-NET gigabit ethernet device IDs
  */