Make use of T3142 received from BTS

Related: OS#3928
Change-Id: I4e26f181db9693d3a267a879e2aebda12eab2a8c
diff --git a/src/encoding.h b/src/encoding.h
index 89d057c..e7046e2 100644
--- a/src/encoding.h
+++ b/src/encoding.h
@@ -59,7 +59,8 @@
 	static int write_immediate_assignment_reject(
 			bitvec *dest, uint16_t ra,
 			uint32_t ref_fn,
-			enum ph_burst_type burst_type
+			enum ph_burst_type burst_type,
+			uint8_t t3142
 		);
 
 	static void write_packet_uplink_assignment(