Changes since last patchset:
* All files now under GPL version 2 or later (I've talked with
OK-Labs and they've agreed).
* `DPRINTF' like macro for printing out guest kernel and qemu
implementation errors
* Fixed bugs in avic implementation, as found by PMM
* Use a static initialiser and sysbus_register_withprop() instead of
calls to sysbus_register() adn vmstate_register()
* Fixed bugs in imx_timer.c as noted by PMM and Andreas
--
Dr Peter Chubb http://www.gelato.unsw.edu.au peterc AT gelato.unsw.edu.au
http://www.ertos.nicta.com.au ERTOS within National ICT Australia
