mme: Add code to derive NAS token from NAS ul_count

NAS Token is derived from kasme and NAS ul_count as specified in 3GPP TS
33.401 A.9, and its LSB 16 bits passed to the network when mapping the GUTI to
RAI+PTMSI+PTIMSI_SIG.

Take the chance to move guti2rai_ptmsi() up to before the place it is
used.
Change-Id: I5e6003a2fe3e74cc93cfe4a288e6c114aa288d0b
diff --git a/mme/LTE_CryptoFunctions.ttcn b/mme/LTE_CryptoFunctions.ttcn
index 18a3755..f0ea990 100644
--- a/mme/LTE_CryptoFunctions.ttcn
+++ b/mme/LTE_CryptoFunctions.ttcn
@@ -40,6 +40,8 @@
 
 external function f_kdf_nh(in OCT16 kasme, in OCT32 sync_inp) return OCT32;
 
+external function f_kdf_nas_token(in OCT16 kasme, in integer ul_count) return OCT32;
+
 /*********************************************************************************
  * mid-level API
  *********************************************************************************/