x86_64 GDT for Remapped Kernel (2/2) | UEFI Dev (in C)