With eac7a7791bb6 ("x86: don't let decompressed kernel image clobber
setup_data"), the rng seed setup_data is now appended to the cmdline
file rather than the kernel image file. In the process of doing that,
two things were left out: the check for sev_enabled(), and resetting the
RNG seed when selecting the cmdline. This short series fixes those up.

Cc: "Michael S. Tsirkin" <mst@redhat.com>
Cc: Dov Murik <dovmurik@linux.ibm.com>
Cc: Tom Lendacky <thomas.lendacky@amd.com>
Cc: Gerd Hoffmann <kraxel@redhat.com>
Cc: "Daniel P. Berrangé" <berrange@redhat.com>
Cc: Paolo Bonzini <pbonzini@redhat.com>
Cc: Richard Henderson <richard.henderson@linaro.org>

Dov Murik (1):
  x86: don't append setup_data to cmdline for SEV guests

Jason A. Donenfeld (1):
  x86: reset rng seed when reading cmdline, not kernel image

 hw/i386/x86.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

-- 
2.39.1