mainboard/supermicro/x11-lga1151: correct board ids

X11SSM-F has a different board id (0896) than X11SSH-TF (089C). Use the
right id for the right board.

Change-Id: Ib0d5e66ce1a973f29a1da78f04f7ef677b260cd8
Signed-off-by: Michael Niewöhner <foss@mniewoehner.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38834
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
diff --git a/src/mainboard/supermicro/x11-lga1151-series/Kconfig b/src/mainboard/supermicro/x11-lga1151-series/Kconfig
index 02c9c86..e0f468c 100644
--- a/src/mainboard/supermicro/x11-lga1151-series/Kconfig
+++ b/src/mainboard/supermicro/x11-lga1151-series/Kconfig
@@ -88,6 +88,7 @@
 
 config SUPERMICRO_BOARDID
 	string
-	default "089C"
+	default "0896"	if BOARD_SUPERMICRO_X11SSM_F
+	default "089C"	if BOARD_SUPERMICRO_X11SSH_TF
 
 endif  # BOARD_SUPERMICRO_BASEBOARD_X11_LGA1151_SERIES