fix rsl_enc_chan_nr() for SDCCH4