Remove unused rtos_tick_irq API from rtos-kochab.h