Exynos5250: Enable PXE Support

Add PXE support for the Exynos5250.

Signed-off-by: Chander Kashyap <chander.kashyap@linaro.org>
Signed-off-by: Minkyu Kang <mk7.kang@samsung.com>
diff --git a/include/configs/smdk5250.h b/include/configs/smdk5250.h
index c0f8622..91da167 100644
--- a/include/configs/smdk5250.h
+++ b/include/configs/smdk5250.h
@@ -212,6 +212,12 @@
 #define CONFIG_ENV_SROM_BANK		1
 #endif /*CONFIG_CMD_NET*/
 
+/* Enable PXE Support */
+#ifdef CONFIG_CMD_NET
+#define CONFIG_CMD_PXE
+#define CONFIG_MENU
+#endif
+
 /* Enable devicetree support */
 #define CONFIG_OF_LIBFDT