Comment # 86 on bug 1118689 from Andreas Stenglein

(In reply to Joerg Roedel from comment #85)
> (In reply to Andreas Stenglein from comment #80)
> > I did some more tests.
> > The patched kernel also sometimes reboots automatically. This happens during
> > boot.
> 
> But the same kernel with 'nopti' booted works every time?

I can try this on Thursday evening; I'm going to try 10 times booting with
nopti, if you think it's necessary I can try more.
Usually now I'm using the nohugeiomap workaround if I want to boot to a working
system, since this has the least impact on features.