[PATCH 01/15] Convert CONFIG_ARMV7_SECURE_BASE et al to Kconfig