mb/supermicro/x9scl: Select IPMI_KCS

Needed for `chip drivers/ipmi` in the devicetree.

Change-Id: Ice70aab7cedaeb91a33dd90d763c5a487f190b8f
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41687
Reviewed-by: Michael Niewöhner
Reviewed-by: Jonathan Kollasch <jakllsch@kollasch.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/mainboard/supermicro/x9scl/Kconfig

@@ -13,6 +13,7 @@ config BOARD_SPECIFIC_OPTIONS
 	select SUPERIO_NUVOTON_NCT6776_COM_A
 	select SUPERIO_NUVOTON_WPCM450
 	select MAINBOARD_USES_IFD_GBE_REGION
+	select IPMI_KCS
 
 config MAINBOARD_DIR
 	string