x86: irq no should not use hex in /proc/interrupts