Get rid of that pesky modulo in task_core_is_available()

[jnaulet]

There's a runtime division on every single tick / context switch due to the support of round-robin. It's not obvious how we can achieve the same behavior & predictablity without it, but we sure have to try our best.