IRQ numbers updated for newer kernel