[IA64] fix interrupt masking for pending works on kernel leave