Revved BIOS again to 4.0.3 Same symptoms observed.
$ sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date 4.0.3 11/17/2015
Revved BIOS again to 4.0.3
Same symptoms observed.
$ sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date
4.0.3
11/17/2015