BSC9131RDB doesn't have SDHC enabled. As a result of this typo,
the node was not getting disabled from the device tree which was
leading to linux hang during bootup
Signed-off-by: NHarninder Rai <harninder.rai@freescale.com>
Signed-off-by: NKumar Gala <galak@kernel.crashing.org>