xen: make xen_load_gdt simpler