Helper for building the IDT
Authors: MarioS271
use crate::kinfo;
use x86_64::structures::idt::InterruptDescriptorTable;