undiisr.S: save/restore upper half of %eflags