# CONFIG_ARCH_RPC is not set