u-boot/drivers/clk/microchip/Kconfig