GBIOS32_SEL
setgdt(GBIOS32_SEL, (caddr_t)va, BIOS32_END, SDT_MEMERA, SEL_KPL, 1, 0);
e->segment = GSEL(GBIOS32_SEL, SEL_KPL);