[PATCH 02/12] kconfig: introduce CONFIG_ARCH_HAS_NOLIBC