OpenCloudOS-Kernel/drivers/clk/imgtec/Kconfig