Actually initialize IDT in intr_init (!).