On 09/24/18 02:23, Thomas Gleixner wrote:

> No that thing does not affect 64bit for sure. Can you please provide me a
> full dmesg from that machine?
> 


Will do.  See attached dmesg.txt file