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