[PATCH] x86_64 irq: Fix comments after changing IRQ0_VECTOR from 0x20 to 0x30