tree 4a3d0ec217e83cf43465d627dc822a61b0e162cb
parent d37a4df800edaca60a54cd96eef08880c63862b9
author Daniel Mentz <danielmentz@google.com> 1407976720 -0700
committer Daniel Mentz <danielmentz@google.com> 1407976720 -0700

Reserve 0x24 bytes at PA 0 for 2nd CPU bootstrap

When we release the reset line for the second CPU, it starts executing code at
physical address 0. boot_secondary() writes a jump instruction at this address.
To ensure that nobody else is using this range, we need to reserve it for this
purpose very early.

We could free up this range later, but it is conceivable that we want to
hotplug the second CPU for power management. In that case, we would need to be
able to take the CPU offline and subsequently take it back online. Hence, we
need to hang on to this range for the entire life of the system.

Change-Id: I1c86e5911d6c9b9f8e11d50447ab2a5babff82fc