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