Clean up idt.rs a bit