branches: 1.2.4; 1.2.14;aprintf -> aprint_normal
Add support for the ARM Integrator/CP from Sergio L�pez.The code hasn't been tested on real hardware, but INTEGRATOR_CP configis useful for QEMU which supports it.