On Mon, 10 Sep 2018, Ville Syrjälä wrote:

Good: 1718674.70 BogoMIPS (lpj=2863311530)
Bad:   859455.59 BogoMIPS (lpj=1431852151)

while both kernels agree on the CPU frequency of 996MHz. This pretty much
smells like the 32bit LPJ conversion bug which got fixed in rc3. Does the
problem persist with rc3?

Thanks,

	tglx