i386-x40 selector, refactoring eflags