Can you check if it's actually in there? What if some of the devices are shipped with a compromised RNG instead of the certified one?
I'm not sure it's so much relevant. If they're evil enough they can easily show nice hardware and use internally their own rigged software random generator.
I mean if we go paranoid, there are plenty of ifs and buts...