x86: enable irq in default_idle on 64-bit