I have updated the coreboot site with some further ARM info: http://www.coreboot.org/ARM
OpenRD-Ultimate http://www.globalscaletechnologies.com/t-openrdudetails.aspx
has a PCIe slot right on the back panel.
Maybe we should use this if this GSOC project gets approved.
-Bari