x86: Change idt_init() to not clobber num_cores