Re: [PATCH 5/5] kconfig: use "select" to enable semihosting