x86/idt: Move 32-bit idt_descr to C code