target/i386/seg_helper.c: 16-bit TSS struct format wrong?