[PATCH 10/18] x86: Add 64-bit entries to the GDT