This distributes the event channels among processors instead of placing
all of them on vCPU#0. Normal interrupt sources are balanced once, at
the end of the boot process. Since new event channels can be created
any time, they need to be dynamically balanced.