[kernel] boot64: set segment registers to gdt64_data