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