bits 19:16 of high and then 15:0 of low. This fixes bug #597737: info gdt broken: incorrect segment length