fix in <kern/unit/x86-64/seg.h>