Add STM32 RNG driver config to kernel_config, and change the uclinux source tree

1) Add CONFIG_HW_RANDOM and CONFIG_HW_RANDOM_STM32 to configs/kernel_config
2) Use Adrian's uclinux tree
3) Create the hw_random dev file