# CONFIG_ARCH_ALPINE is not set