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.