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".