Processed: Re: Bug#901990: linux-image-4.16.0-2-amd64: kernel BUG at startup in usercopy.c ; impossible to boot

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 src:nvidia-graphics-drivers
Bug #901990 [src:linux] linux-image-4.16.0-2-amd64: kernel BUG at startup in usercopy.c ; impossible to boot
Bug reassigned from package 'src:linux' to 'src:nvidia-graphics-drivers'.
No longer marked as found in versions linux/4.16.16-1.
Ignoring request to alter fixed versions of bug #901990 to the same values previously set
> severity -1 important
Bug #901990 [src:nvidia-graphics-drivers] linux-image-4.16.0-2-amd64: kernel BUG at startup in usercopy.c ; impossible to boot
Severity set to 'important' from 'critical'

-- 
901990: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=901990
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems