Description of problem:
At boot on fedora 25, two cores are missing. The machine is a dual-xeon computer, and the CPU's are 32 bit Hyper-treading technology cores.

do_boot_cpu failed(-1) to wakeup CPU#1
do_boot_cpu failed(-1) to wakeup CPU#3

from lscpu
On-line CPU(s) list:   0,2
Off-line CPU(s) list:  1,3

Version-Release number of selected component (if applicable):

Fedora 25

How reproducible: always, on certain hardware

Steps to Reproduce:
1.Boot a computer with kernel 4.8.6-300.fc25, and a 32 bit Xeon processor.


Actual results:
2 cores missing

when booting kernel 4.2.3-300.fc23 the CPUs show up fine.