ARM: mach-ux500: Kconfig: fix incorrect u8500_hotplug option

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