Comment # 22 on bug 1193139 from Borislav Petkov

Good to know, I guess we can use that if we ever need to bisect.

In any case, here's a fixed kernel to test:

https://download.suse.de/ibs/home:/bpetkov:/15sp3-mpx/standard/

With it, it says here:

$./mpx-out-of-bounds 10
No MPX support
dog[0]: 'd'
dog[1]: 'o'
dog[2]: 'g'
dog[3]: ''
dog[4]: 's'
dog[5]: 'e'
dog[6]: 'c'
dog[7]: 'r'
dog[8]: '3'
dog[9]: 't'