Same for me on a Thinkpad X1 Carbon 2015.
- Bug#815173: kernel-image-4.4.0-1-amd64 does not boot on ... Wolfgang Walter
- Bug#815173: kernel-image-4.4.0-1-amd64 does not boo... Eric Kelm
- Bug#815173: kernel-image-4.4.0-1-amd64 does not boo... Alexander Clouter
