kernel: Use CPU topology to distribute IRQs
scheduler: Rebalance IRQs on overloaded cores