fw/icE1usb: Update to support production hardware

Also default build to it since very few people would want to build
firmware targetted to the prototypes ...

Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
diff --git a/firmware/ice40-riscv/icE1usb/misc.c b/firmware/ice40-riscv/icE1usb/misc.c
index a8e48b3..4fdd2f5 100644
--- a/firmware/ice40-riscv/icE1usb/misc.c
+++ b/firmware/ice40-riscv/icE1usb/misc.c
@@ -45,6 +45,12 @@
 }
 
 
+void
+e1_led_set(bool enable, uint8_t cfg)
+{
+	misc_regs->e1_led = (enable ? 0x100 : 0x000) | cfg;
+}
+
 uint16_t
 e1_tick_read(void)
 {