GPS time configuration