Now that we use rust-core instead of zero.rs, fix IDT/KB/PIC.