# CONFIG_ARCH_HAS_FAST_MULTIPLIER is not set
