Wifi timestamp source not esp_timer_get_time()!!

[robiwan]

In the Wifi stack, why, oh why, is the timestamp in rx_ctrl.timestamp not set with esp_timer_get_time(), so that the received message can be related to other stuff happening in the app?? It is based on a APB timer but not esp_timer_get_time().