added 32-bit GDT