On Tue, Oct 14, 2008 at 10:58:43AM +0200, Marc Zyngier wrote: > [This patch was posted to linux-arm-kernel ML yesterday, and reposted > here in the hope that it will be merged soon] I just pushed it here a few minutes ago :)