Kalman filter functions: clarify header comments

9 jobs for kalman_headers in 55 seconds (queued for 3 seconds)