x86: make 32bit use irq_cfg_alloc, etc