Comment 3 for bug 1157372

Identified the problem in ~/SamsungPlatformPkg/ExynosPkg/Exynos5250/Drivers/SDHCxe_EVT1/SDHCxe.c, specifically in function TransferBlock(). There is a timing issue that causes a problem with block write without a DEBUG delay. Still looking at the timing stack-up, but writes to SDHC within UefiShell are now functional; albeit noisy. Down to a single "delay", using DEBUG, to correct the problem and will update and fix this bug for long term, but for now the UefiShell SDHC writes are non-blocking. BTW, this is on the Arndale board and I can supply a patch so that regression testing can verify this short term fix across other platforms.