Whitespace consistency.

{make,}options<space><tab>
everything else just <tab?

G/C ARM32_NEW_VM_LAYOUT

Add support for the ARM Integrator/CP from Sergio López.

The code hasn't been tested on real hardware, but INTEGRATOR_CP config
is useful for QEMU which supports it.