x86: make irqinit_32.c more like irqinit_64.c, v2