Bug only affects kernels 3.5 or newer, and vexpress was only platform on these newer kernels and contained the fix in the 12.07 release
Bug only affects kernels 3.5 or newer, and vexpress was only platform on these newer kernels and contained the fix in the 12.07 release