[Bug 738791] New: Inconsistency in NVIDIA repository vs Main (kernel update)