# CONFIG_GPIO_SODAVILLE is not set