When booting a 4.2-current kernel on a HP Compaq dc7800, the system crashes if ACPI is enabled (this is by default with current).
Attached a dmesg. I can test patches if necessary. The same problem arises on Linux 2.6, so this might be related to the BIOS. Sincerely, Aur
