Hi Trantor,
I also have this problem
Wrong cpu core: 3
output of dmesg| grep cpu
[ 0.000000] KERNEL supported cpus:
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 8/0x24 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 9/0x30 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 10/0x32 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 11/0x34 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 12/0x1 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 13/0x3 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 14/0x5 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 15/0x11 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 16/0x13 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 17/0x15 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 18/0x21 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 19/0x23 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 20/0x25 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 21/0x31 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 22/0x33 ignored.
[ 0.000000] ACPI: NR_CPUS/possible_cpus limit of 8 reached. Processor 23/0x35 ignored.
[ 0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:8 nr_node_ids:1
[ 0.000000] PERCPU: Embedded 26 pages/cpu @ffff88033fc00000 s75776 r8192 d22528 u262144
[ 0.000000] pcpu-alloc: s75776 r8192 d22528 u262144 alloc=1*2097152
[ 0.000000] pcpu-alloc: [0] 0 1 2 3 4 5 6 7
[ 0.159960] smpboot cpu 1: start_ip = 94000
[ 0.250845] smpboot cpu 2: start_ip = 94000
[ 0.341724] smpboot cpu 3: start_ip = 94000
[ 0.432557] smpboot cpu 4: start_ip = 94000
[ 0.523436] smpboot cpu 5: start_ip = 94000
[ 0.614213] smpboot cpu 6: start_ip = 94000
[ 0.706116] smpboot cpu 7: start_ip = 94000
[ 3.521044] cpuidle: using governor ladder
[ 3.537711] cpuidle: using governor menu
[ 37.864311] ACPI: Requesting acpi_cpufreq
[ 53.342353] Wrong cpu core: 3
[
Output of dmesg |grep smp
[ 0.159960] smpboot cpu 1: start_ip = 94000
[ 0.250845] smpboot cpu 2: start_ip = 94000
[ 0.341724] smpboot cpu 3: start_ip = 94000
[ 0.432557] smpboot cpu 4: start_ip = 94000
[ 0.523436] smpboot cpu 5: start_ip = 94000
[ 0.614213] smpboot cpu 6: start_ip = 94000
[ 0.706116] smpboot cpu 7: start_ip = 94000
running version 5.0 44558 on supermicroX8DTL