x86: cpu/common*.c, merge switch_to_new_gdt()