Samsung Origen boot test failed on "linux-mainline" branch.

[Botao]

For the boot test on Samsung Origen configuration - "exynos4_defconfig", it's failed on "linux-mainline" branch from 9 August 2013:

http://validation.linaro.org/dashboard/image-reports/linux-mainline-exynos4_defconfig

Since there is a compiling error from 7 September 2013:

https://ci.linaro.org/jenkins/job/linux-mainline/hwpack=origen,label=kernel_cloud/153/console

The latest boot test result was generated on 6 September 2013:

http://validation.linaro.org/dashboard/streams/anonymous/linux-mainline/bundles/3cabaf7b4d207cbb735aad037e632634a466f778/

[Milo Casagrande (milo)]

Fathi, can you handle this, or do you want us (infra) to look into it?