trying to make the kernel load the gdt