On 6 June 2014 22:00, H. Peter Anvin <hpa at zytor.com> wrote: > > Yes, presumably (as a separate patch since the actual commit is quite > large.) The patch needs to have a good description why the original > patch was wrong. Right. I'll take a look at this in the morning.