ARM: fix /proc/interrupts formatting