I should point out that as well as the two Richard Henderson patches, I also applied Alexandre Oliva's last, which is necessary because I don't have amask. Maybe it's something to do with this.