# CONFIG_BCMA is not set