Asking this question at nvnews resulted in no responses, so I'm trying it here. I guess the proper wording for this forum should be "is it Nvidia driver's bug or it is my misreading of the spec?"
...