[seL4] Exposing ticks to the rt API