Added GDT code to kernel, but untested