On Tue, 2013-01-22 at 18:15 +0100, John Kacur wrote:

The following is my fix applied to the rt-kernel, but it's fine with
me if you want to do the cherry-pick against the stable kernel,
and then respin fix-rt-int3-x86_32-3.2-rt.patch

Does this fail on vanilla 3.2.37 as well? If so, we need to push it to
mainline stable, and then wait for it to be included for -rt.

-- Steve