Comment 4 for bug 1231266

@pranav-tipnis, here is the output of "print" in u-boot prompt after boot with a fresh flashed SD card with Samsung Arndale build 199 and Linaro Image Tools version 645:

ARNDALE5250 # print
bootargs=console=tty0 console=ttySAC2,115200n8 androidboot.hardware=exynos5250-arndale fbdev=/dev/graphics/fb2 ip=dhcp init=/init
bootcmd= fatload mmc 0:2 0x40007000 uImage; fatload mmc 0:2 0x40050000 uInitrd; fatload mmc 0:2 0x41f00000 board.dtb; bootm 0x40007000 0x40050000 0x41f00000
ethact=asx0
ethaddr=02:0c:8f:56:16:33
fdt_high=0xffffffff
initrd_high=0xffffffff
preboot=usb start
stderr=serial
stdin=serial
stdout=serial
usbethaddr=02:0c:8f:56:16:33

Environment size: 479/16380 bytes
ARNDALE5250 #

You also can find all contents in "/boot" directory of my fresh flashed SD card, refer to attachment.