kconfig: use "select" to enable semihosting