Revert "arm: Kconfig: Change default RWSEM algorithm"

This reverts commit e0124db838b6bd25b03ee001e4126f99dae45e61.
Add overclock at 1200MHz

Thanks to @cocafe and @Gava97
Fix build
db8500: Add PRCM_PLLARM_FREQ
clock-db8500: Add arm_pll clock

Note: smp_twd is armss clock.

Signed-off-by: cocafe <cocafehj@gmail.com>
dbx500-cpufreq: Change OC to 1.15 GHz and little changes
dbx500-cpufreq: Decrease OC to 1.1GHz for more stability
defconfig: Update kumquat configuration