On Mon, Jan 23, 2017 at 06:17:32PM +0100, Borislav Petkov wrote: > I know, we should not ever break userspace but if it were me, I'd remove > that export and see what breaks. If at all.
Or keep the exported version as-is and never changed it, and use a different copy for the kernel itself.