Update .config

Add Raspberry Pi hardware random number generator.