sdv_serial_fixup();
 }
 
-#ifdef CONFIG_X86_IO_APIC
 static void sdv_pci_init(void)
 {
        x86_of_pci_init();
        /* We can't set this earlier, because we need to calibrate the timer */
        legacy_pic = &null_legacy_pic;
 }
-#endif
 
 /*
  * CE4100 specific x86_init function overrides and early setup
        x86_init.resources.probe_roms = x86_init_noop;
        x86_init.mpparse.get_smp_config = x86_init_uint_noop;
        x86_init.mpparse.find_smp_config = x86_init_noop;
+       x86_init.mpparse.setup_ioapic_ids = setup_ioapic_ids_from_mpc_nocheck;
        x86_init.pci.init = ce4100_pci_init;
+       x86_init.pci.init_irq = sdv_pci_init;
 
        /*
         * By default, the reboot method is ACPI which is supported by the
         */
        reboot_type = BOOT_KBD;
 
-#ifdef CONFIG_X86_IO_APIC
-       x86_init.pci.init_irq = sdv_pci_init;
-       x86_init.mpparse.setup_ioapic_ids = setup_ioapic_ids_from_mpc_nocheck;
-#endif
-
        pm_power_off = ce4100_power_off;
 }