ARM: Kconfig: Add missing portion of 34541e511e881e3608578f0d2eabbdc83cdd4642

Also regenerate defconfig

Change-Id: I239dcf70ef78bbacb1a28aa37ba90d898b31df98
Signed-off-by: Zhao Wei Liew <zhaoweiliew@gmail.com>