HAL_PX4: implement _timer_tick in UARTDriver

libraries/AP_HAL_PX4/Scheduler.cpp

@@ -363,12 +363,12 @@ void *PX4Scheduler::_uart_thread(void *arg)
         sched->delay_microseconds_semaphore(1000);
 
         // process any pending serial bytes
-        ((PX4UARTDriver *)hal.uartA)->_timer_tick();
-        ((PX4UARTDriver *)hal.uartB)->_timer_tick();
-        ((PX4UARTDriver *)hal.uartC)->_timer_tick();
-        ((PX4UARTDriver *)hal.uartD)->_timer_tick();
-        ((PX4UARTDriver *)hal.uartE)->_timer_tick();
-        ((PX4UARTDriver *)hal.uartF)->_timer_tick();
+        hal.uartA->_timer_tick();
+        hal.uartB->_timer_tick();
+        hal.uartC->_timer_tick();
+        hal.uartD->_timer_tick();
+        hal.uartE->_timer_tick();
+        hal.uartF->_timer_tick();
     }
     return nullptr;
 }

libraries/AP_HAL_PX4/UARTDriver.h

@@ -31,7 +31,7 @@ public:
 	    _devpath = path;
     }
 
-    void _timer_tick(void);
+    void _timer_tick(void) override;
 
     int _get_fd(void) {
 	    return _fd;