Document set-up GDT and switch from 16 to 32-bit