I have now (finally) updated the BIOS to the latest F.20 (mentioned in comment #5). I have further upgraded to the latest ubuntu 15.10 with kernel Linux hermes 4.2.0-18-generic #22-Ubuntu SMP Fri Nov 6 18:25:50 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux
The hardware, the symptoms and the problem is still the same.
I have now (finally) updated the BIOS to the latest F.20 (mentioned in comment #5). I have further upgraded to the latest ubuntu 15.10 with kernel Linux hermes 4.2.0-18-generic #22-Ubuntu SMP Fri Nov 6 18:25:50 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux
The hardware, the symptoms and the problem is still the same.