# CONFIG_ARCH_SUPPORTS_INT128 is not set
