Fix a few incorrect GIGABYTE board names (trivial).
[coreboot.git] / src / mainboard / gigabyte / Kconfig
index f337044b5f948ff1013baa28d1fb75123ccf2d01..9de6574e87792cd0bf05fde99dba17260ba1ed4b 100644 (file)
@@ -30,9 +30,9 @@ config BOARD_GIGABYTE_GA_6BXE
 config BOARD_GIGABYTE_M57SLI
        bool "GA-M57SLI-S4"
 config BOARD_GIGABYTE_GA785GMT
-       bool "MA785GMT"
+       bool "GA-MA785GMT-UD2H"
 config BOARD_GIGABYTE_MA78GM
-       bool "MA78GM-US2H"
+       bool "GA-MA78GM-US2H"
 
 endchoice