Added x86 IDT support