[U-Boot] [PATCH v2] exynos5250/arndale: Enable SATA/AHCI support.