On Wed, Jan 3, 2018 at 4:12 PM, Thomas Gleixner <t...@linutronix.de> wrote: > > It should be a CPU_BUG bit as we have for the other mess. And that can be > used for patching.
That would definitely be the right approach.
However, that's also probably quite challenging for the gcc option.
Linus
