Vortex86 DX, MX+, DX3 identification

[Andrius V <vezhlys%gmail.com@localhost>]

Hello,

As I recently got hands on VortexDX3 based system, I noticed that
NetBSD doesn't have identification IDs for DX, MX+ and DX3. I happened
to find DX, MX+ ones from coreboot code. DX3 (A9126) I retrieved
myself - 0x36504d44. Prepared the patch below:


Index: sys/arch/x86/x86/identcpu.c
==================================================================
--- sys/arch/x86/x86/identcpu.c
+++ sys/arch/x86/x86/identcpu.c
@@ -687,10 +687,19 @@
         strcpy(cpu_brand_string, "Vortex86DX");
         break;
     case 0x33504d44:
         strcpy(cpu_brand_string, "Vortex86MX");
         break;
+    case 0x34504d44:
+        strcpy(cpu_brand_string, "Vortex86DX2");
+        break;
+    case 0x35504d44:
+        strcpy(cpu_brand_string, "Vortex86MX+");
+        break;
+    case 0x36504d44:
+        strcpy(cpu_brand_string, "Vortex86DX3");
+        break;
     case 0x37504d44:
         strcpy(cpu_brand_string, "Vortex86EX");
         break;
     default:
         strcpy(cpu_brand_string, "Unknown Vortex86");

Regards,
Andrius V