Fix kernel timestamp being printed incorrectly

packet-exchange/src/server.c

@@ -235,7 +235,7 @@ int main(int argc, char *argv[]) {
         if (enable_timestamps) {
 
           int64_t user_space_time = stats->packet_info.userspace_exit_ts - stats->packet_info.userspace_enter_ts;
-          int64_t kernel_space_time = stats->packet_info.kernelspace_ts - stats->packet_info.userspace_exit_ts;
+          int64_t kernel_space_time = stats->packet_info.userspace_enter_ts - stats->packet_info.kernelspace_ts;
 
           printf(",   U: %*" PRIi64 ",   K: %*" PRIi64 ",   D: %*s,   L: %*d\n",
                  10, user_space_time,