[PATCH v3 05/16] kbuild: introduce CONFIG_ARCH_HAS_NOLIBC