Merge branch 'irq-davinci' of git://gitorious.org/linux-davinci/linux-davinci into devel-stable