IDT loading. `int 0x80` works properly, assume correctness.