[PATCH] arm: fix Kconfig system choice list