x86: provide a native_init_IRQ function on 64-bit