On Tue, Oct 23, 2012 at 08:00:54AM -0700, H. Peter Anvin wrote:> I thought I had already pushed this fix with a proper description...Yes, this one is already upstream.-- Regards/Gruss,Boris.