# CONFIG_BCMA_DRIVER_GPIO is not set
