Hi Nicolas,

Can you please cherry-pick following patch onto linaro kernel?

http://git.kernel.org/?p=linux/kernel/git/kgene/linux-samsung.git%3Ba=patch%...

Alternately, the patch is available at following location. (Rebased on top of linux-linaro-3.0-2011.08-0)

git://git.linaro.org/people/tushar/linux-linaro-samsung.git master

This patch is part of a pull request for 3.1-rc3 from Samsung maintainer. It fixes the system hang while performing soft-reboot on ORIGEN board.