/* * Load appropriate GDT descriptor into the currently running CPU, which must * be ci. */