scheduler: Remove some unnecessary checks against idle threads
scheduler: Introduce upper bound on latency
kernel: Forbid implicit casts between spinlock and int32
kernel: Reduce lock contention when processing ICIs