Fix a few incorrect GIGABYTE board names (trivial).
[coreboot.git] / src / mainboard / gigabyte / ma785gmt / Kconfig
index efa100d1f772178c150b4666b200badbba3160d6..c6cb21dfedef60f2b570c963d7c78693569ade9c 100644 (file)
@@ -40,7 +40,7 @@ config APIC_ID_OFFSET
 
 config MAINBOARD_PART_NUMBER
        string
-       default "Gigabyte GA785GMT"
+       default "GA-MA785GMT-UD2H"
 
 config MAX_CPUS
        int