I noticed that the kernel bugscript was complaining about "working around [a] severe firmware bug", so I dug up the latest official BIOS update for this machine and installed that. No change -- still crashes on boot with 4.0 and not 3.16, still "Tainted: G I".
-- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org