[PATCH 17/18] x86: Use the same GDT when jumping to long mode