added idt_load() and idt_set_gate()