Post #2142695

Yes, I was implicitly assuming that an upgraded kernel with the fix would installed before the next reboot. I could have been explicit about that when asking the question.