Update .config

Add Raspberry Pi hardware random number generator.

_This of course also requires a system implementation as described in issue https://github.com/xbianonpi/xbian/issues/413_