fixing smaller FIXME in win32kdxtest