[PATCH 03/30] Convert CONFIG_ARM_PL180_MMCI to Kconfig