# CONFIG_CLK_X1E80100_DISPCC is not set
