On Wed, Aug 16, 2023 at 12:11:57PM +0200, Borislav Petkov wrote:> Does that help?Btw, note that this is *plain* -rc5, without your patch.-- Regards/Gruss, Boris.https://people.kernel.org/tglx/notes-about-netiquette