[PATCH 6.1 121/138] x86/coco: Require seeding RNG with RDRAND on CoCo systems