Re: [PATCH 15/15] Convert CONFIG_BACKSIDE_L2_CACHE to Kconfig