Re: [PATCH v6] x86/coco: Require seeding RNG with RDRAND on CoCo systems