Re: [PATCH v6 1/3] Convert CONFIG_SYS_L2_PL310 to Kconfig