X86: initializes the 64 bit IDT and TSS