[PATCH v2 09/14] kconfig: use "select" to enable semihosting