# CONFIG_STALDRV is not set
