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