Looks like there's a (power gated!) hardware random number generator, too. It uses ring oscillators, so it's not going to pump out hundreds of megabytes per se

Looks like there's a (power gated!) hardware random number generator, too. It uses ring oscillators, so it's not going to pump out hundreds of megabytes per second like RdRand, but it's enough to at least throw a few kilobits of randomish data into Linux's random device at boot time before turning off to save power.