Hm, who would have thought that just randomly poking memory of a laptop would brick it. Long ago Samsung told me that it was just fine to be doing this, and that there would not be any problems (I based the samsung-laptop driver on code that Samsung themselves gave me.)
Turns out, it wasn't true, which is sad. Yes, the real solution is to fix the BIOS. If you have this hardware, just blacklist the samsung-laptop driver and all should be fine.
I just tested this on a 900X3D Samsung, running latest version of Ubuntu, and no problem happened at all.
So I don't know what is happening here to the people who are reporting problems, very strange...