The 2011.10 release of vexpress-a9 had the correct config. The 2011.11 release testing of gator verified this.
The 2011.10 release of vexpress-a9 had the correct config. The 2011.11 release testing of gator verified this.