# CONFIG_ARCH_BITMAIN is not set