Mike Zhang Sun, 23 Dec 2018 19:51:01 -0800
This was trivially fixed by upgrading to the latest BIOS. Thanks to Sepherosa for showing me where to look. :)
Mike