/* size of GDT in bytes */