Fix broken build due to missing #if CONFIG_IOAPIC.