Processing commands for [email protected]: > close 929354 4.10-1~exp1 Bug #929354 [src:linux] linux-image-4.9.0-9-amd64: Tainted Kernel when using nosmt boot option Marked as fixed in versions linux/4.10-1~exp1. Bug #929354 [src:linux] linux-image-4.9.0-9-amd64: Tainted Kernel when using nosmt boot option Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 929354: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929354 Debian Bug Tracking System Contact [email protected] with problems

