Merge branch 'develop' of github.com:efabless/caravel into develop

Pull before push
diff --git a/verilog/dv/caravel/mgmt_soc/gpio/gpio_tb.v b/verilog/dv/caravel/mgmt_soc/gpio/gpio_tb.v
index d40d0af..f46fee9 100644
--- a/verilog/dv/caravel/mgmt_soc/gpio/gpio_tb.v
+++ b/verilog/dv/caravel/mgmt_soc/gpio/gpio_tb.v
@@ -63,6 +63,7 @@
 	assign mprj_io[23:16] = checkbits_lo;
 	assign checkbits = mprj_io[31:16];
 	assign checkbits_hi = checkbits[15:8];
+	assign mprj_io[3] = 1'b1;       // Force CSB high.
 
 	wire flash_csb;
 	wire flash_clk;