KVM: x86: use kvm_get_gdt() and kvm_read_ldt()