# CONFIG_GPIO_SIFIVE is not set