Reported by: Josh Triplett <josh@joshtriplett.org> Date: Mon, 18 May 2015 23:15:02 UTC Severity: critical Tags: upstream Found in version linux/4.0.2-1 Fixed in versions linux/3.16.7-ckt11-1, linux/4.0.4-1 Done: Ben Hutchings <ben@decadent.org.uk> Bug is archived. No further changes may be made. Report forwarded to debian-bugs-dist@lists.debian.org, josh@joshtriplett.org, Debian Kernel Team <debia