endlessm/linux — pull request #12 by dbnicholson (2014-10-08 18:39:34+00:00)
Title: x86/reboot: Use bios reboot for GIGABYTE BRIX BXBT-2807

Using ACPI, the hard disk crashes on reboot. This seems to be avoided
when using the BIOS to reboot.

[endlessm/eos-shell#3835]