Debian Stretch support for Intel Denverton CPUs

[Clifford.Wichmann]

Just wondering if the kernel for Debian Stretch will support the Intel 
Denverton CPU?



We have tried the Debian Stretch as of two weeks ago on a board provided by 
Intel but it currently hangs on boot.



Cheers,
Cliff