x86: change irq functions to accomodate 64-bit