init_real_mode_platter
init_real_mode_platter(who, code_length, cpup->wc_cr4, gdt);
init_real_mode_platter(0, code_length, cpup->wc_cr4, gdt);
init_real_mode_platter(int cpun, uint32_t offset, uint_t cr4, wc_desctbr_t gdt);