Booting up a Brocade ICX 6650 - Linux?

We recently got some brand new Brocade ICX 6650 Router. During bootup, you see the following messages on the Serial console:

U-Boot 2011.09 (Aug 17 2012 - 17:40:23)

CPU:   8544E, Version: 2.1, (0x803c0121)
Core:  E500, Version: 2.3, (0x80210023)
Clock Configuration:
       CPU0:800  MHz, 
       CCB:400  MHz,
       DDR:200  MHz (400 MT/s data rate), LBC:25   MHz
L1:    D-cache 32 kB enabled
       I-cache 32 kB enabled
I2C:   ready
DRAM:  Detected RDIMM SG572288BRO535Y1SF
Initialized DRAM
1 GiB (DDR2, 64-bit, CL=3, ECC on)
Flash: 64 MiB
L2:    256 KB enabled
In:    serial
Out:   serial
Err:   serial
Net:   eTSEC1 is in sgmii mode.
eTSEC1
Enter 'b' to stop at boot monitor:  0 
WARNING: adjusting available memory to 30000000
## Booting kernel from Legacy Image at fc000200 ...
   Image Name:   Linux-3.1.0
   Image Type:   PowerPC Linux Kernel Image (gzip compressed)
   Data Size:    2102390 Bytes = 2 MiB
   Load Address: 00000000
   Entry Point:  00000000
   Verifying Checksum ... OK
## Loading init Ramdisk from Legacy Image at fc212000 ...
   Image Name:   Ramdisk Image
   Image Type:   PowerPC Linux RAMDisk Image (gzip compressed)
   Data Size:    10662014 Bytes = 10.2 MiB
   Load Address: 00000000
   Entry Point:  00000000
   Verifying Checksum ... OK
## Flattened Device Tree blob at fc210000
   Booting using the fdt blob at 0xfc210000
   Uncompressing Kernel Image ... OK
   reserving fdt memory region: addr=1c700000 size=3900000
   Loading Ramdisk to 2f5d4000, end 2ffff07e ... OK
   Loading Device Tree to 03ffb000, end 03fff59e ... OK
setup_arch: bootmem
arch: exit

Yes, it boots a Linux Kernel! Nice. Let's install Puppet on it.

You've successfully subscribed to Tobias Brunner aka tobru
Great! Next, complete checkout to get full access to all premium content.
Error! Could not sign up. invalid link.
Welcome back! You've successfully signed in.
Error! Could not sign in. Please try again.
Success! Your account is fully activated, you now have access to all content.
Error! Stripe checkout failed.
Success! Your billing info is updated.
Error! Billing info update failed.