x86: bus_irq_enable()