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