i) Bug fixes in make_gdt_entry