kernel starts in higher-half with the GDT trick