x86: change init_gdt to update the gdt via write_gdt, rather than a direct write.