Development board is phyCORE-LPC3250 RDK.  Basic initialization via stage 1
bootloader or U-Boot will be assumed.  Drivers:

        o Standard UART 3, 4, 5, 6 (Console = 5, 115200N1)
        o Clock uses TIMER 0
        o Ethernet
