Added (broken) implementation of the IDT for x86_64