# CONFIG_CLK_SIFIVE is not set