Added an ARMv5E board

I've added a pico-SAM9G45 board to my home office setup. It's called libra1 and runs Debian 6.0. The nice thing about this board is it has 256 MB of RAM and should be able to run SPEC 2000.

I'll start using it to check that our GCC changes don't cause significant performance regressions on earlier architectures. Dave, you could use it to test the 64 bit primitives if you want.

There's more information on the configuration at: http://bazaar.launchpad.net/~michaelh1/+junk/hardware/view/head:/libra/r1/RE...

-- Michael