xen: clean up xen_load_gdt