Merge branch 'master' into markj-kernel-config
Some PRNG options are now devices, according to UPDATING.
Merge branch 'markj-kernel-config' into markj-develop