Comment 3 for bug 1274057

These kernel oopses are very sensitive to the gcc version used to build the kernel.
* I've seen no such oopses with gcc 4.6 included into Ubuntu 12.04 LTS.
* gcc 4.8 from the 14.01 Linaro release also looks good ("gcc version 4.8.3 20140106 (prerelease) (crosstool-NG linaro-1.13.1-4.8-2014.01 - Linaro GCC 2013.11"). (used in linux-linaro kernel CI)
* gcc 4.8 from the 13.08 Linaro release produces the kernel very subject to these oopses ("gcc version 4.8.2 20130805 (prerelease) (crosstool-NG linaro-1.13.1-4.8-2013.08 - Linaro GCC 2013.08")
* The pre-built images use gcc-4.8 from Saucy ("gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu9)"), and it also produces the kernel which oopses on Panda.

As we can't just switch the pre-built images from the Saucy's toolchain, I'll have to do some more investigations to find out the cause of the oopses when the 4.8.1 gcc from Saucy is used to build the kernel.