Bug#990423: stretch kernel 4.9.0-16-amd64 crashes randomly

[Vladimir Chernyshov]

Apologies, the correct PCI ID of my wireless NIC is "Intel Corporation 
Wireless 7260 (rev bb)".