Single-platform Kconfig options are removed, making arch-vt8500
multiplatform only.
Signed-off-by: Tony Prisk <linux@prisktech.co.nz>