[ot] configs/devices: riscv32: enable opentitan machine

Also enables the new machines by default to match the existing style.

Signed-off-by: James Wainwright <james.wainwright@lowrisc.org>

Author: jwnrt

configs/devices/riscv32-softmmu/default.mak

@@ -9,7 +9,7 @@
 # CONFIG_SIFIVE_E=n
 # CONFIG_SIFIVE_U=n
 # CONFIG_RISCV_VIRT=n
-CONFIG_IBEXDEMO=y
-CONFIG_OT_DARJEELING=y
-CONFIG_OT_EARLGREY=y
-CONFIG_OPENTITAN=n
+# CONFIG_OPENTITAN=n
+# CONFIG_OT_DARJEELING=n
+# CONFIG_OT_EARLGREY=n
+# CONFIG_IBEXDEMO=n

hw/riscv/Kconfig

@@ -20,6 +20,7 @@ config IBEX_GPIO
 
 config OT_DARJEELING
     bool
+    default y
     select IBEX
     select IBEX_CLOCK_SRC
     select IBEX_COMMON
@@ -70,6 +71,7 @@ config OT_DARJEELING
 
 config OT_EARLGREY
     bool
+    default y
     select IBEX
     select IBEX_CLOCK_SRC
     select IBEX_COMMON
@@ -118,6 +120,7 @@ config OT_EARLGREY
 
 config IBEXDEMO
     bool
+    default y
     select IBEX
     select IBEX_CLOCK_SRC
     select IBEX_COMMON