Re: [PATCH 01/12] Convert CONFIG_83XX_PCICLK to Kconfig