Comment 4 for bug 1978890

That is going to be a really hard label to write.
Not in terms of the code change, that's the easy part, how does one explain to end users that some GRUB_FLAVOUR_ORDER kernels are OK and some aren't? GRUB_FLAVOUR_ORDER is not a detail many users want to think about, they just want hardware to work.

If this problem were more limited in scope we could say something like "Third-party drivers should not be installed on systems that will be used for FIPS or the real-time kernel." But as is this is too open-ended - if we phrase this incorrectly it is going to sound like every kernel is a problem.