Couldn't reproduce it yet. At the moment, the situation is:
Kernel 4.2.0, both BIOS versions (v. 1.69 & v. 1.71): bug present Mainline kernel 4.3, old BIOS v. 1.69: bug present Mainline kernel 4.3, new BIOS v. 1.71: but not reproduced yet
Couldn't reproduce it yet. At the moment, the situation is:
Kernel 4.2.0, both BIOS versions (v. 1.69 & v. 1.71): bug present
Mainline kernel 4.3, old BIOS v. 1.69: bug present
Mainline kernel 4.3, new BIOS v. 1.71: but not reproduced yet