AP_HAL_Linux: minor update