[PATCH 0/2] Fix kvm_setup_gdt and reuse in vcpu_init_descriptor_tables