Note a FBSD VFS API change for future reference

Change-Id: Id3c133982748e8060a0b4d2803d688ad8930e263
Tweak headers slightly

Change-Id: Ia30c2ee062cd0a298f47f8e53855894fb7e1f6cc
Constant for RXGK's rx service number

Change-Id: I86cb5418e9c858875e58a3b0d8934626ccd756c7
rxgk_server fixup from Chas

Change-Id: I38988ed783454e4866bebb3b14351a5cabb424f9
Tweak rxgk_packet per Chas's comments

Change-Id: Ida86fe042c773063bfbce41d87c3c7f7f7068abf
add secondsToRxgkTime()

Change-Id: Ie7bdb28fe2cbd0f11a9243e73fb9902adcc47527
rxgk_gss.c fixups from Chas

Change-Id: Ic2a36a6c3ea59b748a1df82d3e4c414633f73149
rxgk_token.c fixups from Chas

Change-Id: I4b535acc3ba640f0f9a313537ecc72d7396a0344
rxgk_crypto_rfc3961.c fixup from Chas

Change-Id: Id6f57eed93f2357f5342a4992d9f8dc539042926