[Firmware Bug]: CPU1: APIC id mismatch. Firmware: 11 CPUID: 1
[ 0.312277] [Firmware Bug]: CPU1: Using firmware package id 1 instead of 0
[ 0.420146] #2
[ 0.422236] [Firmware Bug]: CPU2: APIC id mismatch. Firmware: 12 CPUID: 2
[ 0.422239] [Firmware Bug]: CPU2: Using firmware package id 1 instead of 0
[ 0.530132] #3
[ 0.532228] [Firmware Bug]: CPU3: APIC id mismatch. Firmware: 13 CPUID: 3
[ 0.532230] [Firmware Bug]: CPU3: Using firmware package id 1 instead of 0
[ 0.640125] #4
[ 0.642210] [Firmware Bug]: CPU4: APIC id mismatch. Firmware: 14 CPUID: 4
[ 0.642213] [Firmware Bug]: CPU4: Using firmware package id 1 instead of 0
[ 0.750117] #5
[ 0.752207] [Firmware Bug]: CPU5: APIC id mismatch. Firmware: 15 CPUID: 5
[ 0.752209] [Firmware Bug]: CPU5: Using firmware package id 1 instead of 0
[ 0.835462] x86: Booted up 1 node, 6 CPUs
[ 0.835468] smpboot: Total of 6 processors activated (39615.14 BogoMIPS)