[S] Change in osmo-ttcn3-hacks[master]: LTE_CryptoFunctions.ttcn: Use received SeqNum as nus.rx_count