Actually, for linux bug 7887, the right (more complete) git change is in 902b236c087bf021c94cc21a2b09d928c4156c2b
Actually, for linux bug 7887, the right (more complete) git change is in 902b236c087bf02 1c94cc21a2b09d9 28c4156c2b