# CONFIG_CLK_X1E80100_GCC is not set
