I think this patch makes sense regardless—even if it is a Linux bug
(which is not perfectly clear to me), it's reasonable enough to work
around, and the workaround is simple and makes sense. I hadn't signed
off on it yet since you had said you were going to update the comment
for accuracy.