Re: [v2 01/15] Convert CONFIG_ARMV7_SECURE_BASE et al to Kconfig