mutekix_time does not behave well on Pocket Challenge #4
Description
The mutekix_time_get_ticks() counts slower than real time. This caused WoodyBoy in particular to make unnecessary sleeps. Could be a ticker thread priority issue (since the device lacks millisecond-level RTC) but needs further confirmation.