Re: [PATCH] arm: fix Kconfig system choice list