[PATCH] setup_boot_APIC_clock() irq-enable fix