On Thu, Jan 27, 2022 at 12:56:26PM +0100, Borislav Petkov wrote:> From: Borislav Petkov <bp@suse.de>> > Not really needed anymore and there's clearcpuid=.> > Signed-off-by: Borislav Petkov <bp@suse.de>Reviewed-by: Kees Cook <keescook@chromium.org>-- Kees Cook