Index: sys/amd64/amd64/machdep.c =================================================================== --- sys/amd64/amd64/machdep.c +++ sys/amd64/amd64/machdep.c @@ -1447,6 +1447,8 @@ r_idt.rd_base = (long) idt; lidt(&r_idt); + finishidentcpu(); /* Final stage of CPU initialization */ + /* * Initialize the clock before the console so that console * initialization can use DELAY(). @@ -1479,7 +1481,6 @@ TUNABLE_INT_FETCH("machdep.mitigations.rndgs.enable", &x86_rngds_mitg_enable); - finishidentcpu(); /* Final stage of CPU initialization */ initializecpu(); /* Initialize CPU registers */ amd64_bsp_ist_init(pc);