To boot linux kernel using TFTP in Arndale.

Following is the steps:

1. Apply the patches 13.03 branch. (on top of Olivers Ethernet patches,If Olivier's patches doesn't apply, then do it manually)
2. Compile and boot as usual.
3. Wait till USB initialization and then do as shown below:

The default boot selection will start in   1 seconds
UsbEnumeratePort: Device Connect/Disconnect Normally
UsbEnumeratePort: Device Connect/Disconnect Normally
UsbEnumeratePort: Device Connect/Disconnect Normally
EhcExecTransfer: transfer failed with 8
EhcControlTransfer: error - Device Error, transfer - 8
0x9F6BDA90: Allocate pNicDevice, 792 bytes
0x9F4DCD10: Allocated timer
Installed: gEfiCallerIdGuid on   0x9F4DE390
Installed: gEfiSimpleNetworkProtocolGuid on   0x9F4DE390
MnpSyncSendPacket: No network cable detected.
MnpSyncSendPacket: No network cable detected.
MnpSyncSendPacket: No network cable detected.
MnpSyncSendPacket: No network cable detected.
ERROR: Did not find Linux kernel.
[1] SD-MMC Booting
        - PciRoot(0x0)/Pci(0x0,0x0)/USB(0x2,0x0)/USB(0x1,0x0)/USB(0x3,0x0)/IPv4(192.168.1.1)/uImage
        - Arguments: root=/dev/mmcblk1p2 rw rootwait console=ttySAC2,115200n8 init --no-log
        - LoaderType: Linux kernel with global FDT
-----------------------
Global FDT Config
        - VenHw(3A02E7FE-0649-4FB4-BE4F-A862CA1872A9)/HD(2,MBR,0x000039F9,0x2000,0x1A000)/exynos5250-arndale.dtb
-----------------------
[a] Boot Manager
[b] Shell
Start: a
[1] Add Boot Device Entry
[2] Update Boot Device Entry
[3] Remove Boot Device Entry
[4] Update FDT path
[5] Return to main menu
Choice: 1
Installed Fat filesystem on 9E63E190
[1] boot (51 MB)
        - VenHw(3A02E7FE-0649-4FB4-BE4F-A862CA1872A9)/HD(2,MBR,0x000039F9,0x2000,0x1A000)
[2] VenHw(B615F1F5-5088-43CD-809C-A16E52487D00)
        - VenHw(B615F1F5-5088-43CD-809C-A16E52487D00)
[3] PXE on MAC Address: 00:40:5C:26:0A:5B
        - PciRoot(0x0)/Pci(0x0,0x0)/USB(0x2,0x0)/USB(0x1,0x0)/USB(0x3,0x0)
[4] TFTP on MAC Address: 00:40:5C:26:0A:5B
        - PciRoot(0x0)/Pci(0x0,0x0)/USB(0x2,0x0)/USB(0x1,0x0)/USB(0x3,0x0)
Select the Boot Device: 4
Get the IP address from DHCP: [y/n] y
Get the TFTP server IP address: 192.168.1.1
File path of the EFI Application or the kernel : uImage
Is an EFI Application? [y/n] n
Boot Type: [a] ATAGS, [g] Global FDT or [l] Local FDT? [a/g/l] g
Add an initrd: [y/n] n
Arguments to pass to the binary: root=/dev/mmcblk1p2 rw rootwait console=ttySAC2,115200n8 init --no-log
Description for this new Entry: tftp
[1] Add Boot Device Entry
[2] Update Boot Device Entry
[3] Remove Boot Device Entry
[4] Update FDT path
[5] Return to main menu
Choice: 5
[1] SD-MMC Booting
        - PciRoot(0x0)/Pci(0x0,0x0)/USB(0x2,0x0)/USB(0x1,0x0)/USB(0x3,0x0)/IPv4(192.168.1.1)/uImage
        - Arguments: root=/dev/mmcblk1p2 rw rootwait console=ttySAC2,115200n8 init --no-log
        - LoaderType: Linux kernel with global FDT
[2] tftp
        - PciRoot(0x0)/Pci(0x0,0x0)/USB(0x2,0x0)/USB(0x1,0x0)/USB(0x3,0x0)/IPv4(192.168.1.1)/uImage
        - Arguments: root=/dev/mmcblk1p2 rw rootwait console=ttySAC2,115200n8 init --no-log
        - LoaderType: Linux kernel with global FDT
-----------------------
Global FDT Config
        - VenHw(3A02E7FE-0649-4FB4-BE4F-A862CA1872A9)/HD(2,MBR,0x000039F9,0x2000,0x1A000)/exynos5250-arndale.dtb
-----------------------
[a] Boot Manager
[b] Shell
Start: 2