L4 pb926 port ready for testing

I have just built an L4 image based on pb926 platform. It merely supports the irq controller, system controller, timers. It took a bit longer than my expectation due to various reasons. First, the code is a mixture of c and c++ and it's the first time I'm dealing with c++ in a close-up manner. It wasn't much of a problem but the linking stuff had some suprising outcomes. c++ inline functions seem not to be exported from an object file at all, whereas in c surely you can do that. I asked this in comp.lang.c++ but it seems to be overwhelmed with questions and nobody gave a satisfactory answer.

Apart from that, I spend considerable time trying to figure out how it would be the cleanest and fanciest way to support irqs on multiple controllers. I will need to improve on that still, I think the new linux way (as of russel king's implementation) is the best way of doing it.

Now list of things to do:
1) Fix code that may not give the expected outcome. (There's a lot of it I'm sure)
2) Add version 5 architecture support. (This may may be the most major effort as I haven't done any cache/tlb debugging).
3) Add UART support for console messages.
4) Add LED support for further debugging opportunities.
5) Fix irq implementation and make it better.
6) Fix c/c++ code so that they're clearer.
7) Fix comments.
8) Test everything.