x86/boot/compressed/64: Add IDT Infrastructure