1.8.8. r2p2 - r3p0

The following changes have been made in this release:

Copyright © 2011-2012 ARM. All rights reserved.ARM DDI 0438G
Non-ConfidentialID080412