hw/arm/Kconfig: Add missing SDHCI symbol to FSL_IMX25