With the new high resolution timer, the tick is now incremented also when interrupts are enabled. Fixing some tests in the testsuite that relied on the old behaviour