Bug#843349: (no subject)

[Alexander Kanavin]

FWIW, we had the same problem here with machines using Gigabyte X99 
motherboards. The problem was solved by updating the BIOS.

Alex