[PATCH] x86_64: Increase NR_IRQ_VECTORS to 32 * NR_CPUS