There is no ktimer in RIOT.