Yup, that's the bug. If it does away after reverting the commit, that would be interesting too. I don't have any other suggestions.
To guarantee that there's absolutely no other difference between the two tests, I took the source RPM, added the commit f31dcb152a3 diff + `%patch -P 2 -R`, and built the kernel RPM with mock.