On Wed, 18 Jul 2012, Tero Kristo wrote: > There isn't public erratum number for this, thats the reason for xxx. I > can change the xxx to GICD though if that is better. Yep please do (or something else more meaningful than GICD if you can think of something better). - Paul