Comment # 23 on bug 1193139 from Tom de Vries

(In reply to Borislav Petkov from comment #22)
> 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'

I've installed the kernel and reproduced the behaviour.   Also confirmed that
the running example still works with -m64.

Looks good from user perspective, AFAICT.