kernel sets up its own GDT