HAL_PX4: fixes for new Scheduler API