Comment # 7 on bug 1193139 from Borislav Petkov

(In reply to Tom de Vries from comment #6)

> You'll need a machine with mpx in /proc/cpuinfo flags.  I don't know whether
> that needs to be real hw, or can also be a VM.  I reproduced it on real hw,
> and the failure is all over OBS as well, so I imagine a VM should also work.

Ok, I got a machine which triggers and this is what I think considering
your statement from an earlier comment:

> I don't care one way or the other, but either we support it or we
> don't support it, and all info above indicates we do support it.
>
> If we don't support it, all appearance of supporting it should be
> removed.

Even if this turns out to be a kernel bug, we'd need to fix it. Even
if we fix it properly, the fix will have to be carried by us *solely*
because Intel has abandoned that technology and it is not even present
in newer CPUs and newer kernels.

And Intel abandoning this would mean that it is highly unlikely that
anyone would be using it - especially 32-bit - considering that there
won't be any future hw support.

So I think the easiest thing to do is to disable it for 32-bit and keep
the 64-bit support.

It'll die with 15SP3 as SP4 doesn't have it anymore and it'll be that.

Ok?