Most always, when rebooting an Igno RT patched kernel, the ntpdate time update will offsset several seconds. Normally, this would be a fraction of a second. Am I missing anything here (other than lost time)?