bsc CBSP: fix osmo-bsc.cfg to contain 3 BTS with a CBCH

The bsc/BSC_Tests_CBSP.ttcn rely on a configuration where the first three BTS
carry out SMSCB messaging, and the fourth BTS does not. That requires a CBCH
channel config on bts 0, 1, 2.

Side effects:

- adjust the number of available SDCCH (for TC_chan_exhaustion).

- there now is a CBCH channel description in SI4, add this to
  SystemInformationConfig_default.

Related: Idbcc703ace7012fb395f0eef3e445df28b368d74 (docker-playground)
Change-Id: Iac46ee2cc5bc0978d5f5baa550baf493a7c56b1b
diff --git a/bsc/BSC_Tests.ttcn b/bsc/BSC_Tests.ttcn
index 1c02cb6..22c94d4 100644
--- a/bsc/BSC_Tests.ttcn
+++ b/bsc/BSC_Tests.ttcn
@@ -70,7 +70,7 @@
 /* make sure to sync this with the osmo-bts.cfg you're using */
 const integer NUM_TCHH_PER_BTS := 2;
 const integer NUM_TCHF_PER_BTS := 4;
-const integer NUM_SDCCH_PER_BTS := 4;
+const integer NUM_SDCCH_PER_BTS := 3;
 
 
 /* per-BTS state which we keep */
@@ -267,7 +267,24 @@
 		re_not_allowed := true,
 		acc := '0000010000000000'B
 	    },
-	    cbch_chan_desc := omit,
+	    cbch_chan_desc := {
+		iei := '64'O,
+		v := {
+		    chan_nr := {
+			u := {
+			sdcch4 := {
+			    tag := '001'B,
+			    sub_chan := 2
+			}
+			},
+			tn := 0
+		    },
+		    tsc := 2,
+		    h := false,
+		    arfcn := 871,
+		    maio_hsn := omit
+		}
+	    },
 	    cbch_mobile_alloc := omit,
 	    rest_octets := {
 		sel_params := {