[coreboot - Bug #304] (New) HP EliteBook 2560p fails to reboot on new kernels

Issue #304 has been reported by Iru Cai.

----------------------------------------
Bug #304: HP EliteBook 2560p fails to reboot on new kernels
https://ticket.coreboot.org/issues/304

* Author: Iru Cai
* Status: New
* Priority: Normal
* Assignee: Iru Cai
* Category: 
* Target version: 
----------------------------------------
My EliteBook 2560p fails to reboot on new kernels. We need to fix the ACPI of hp/kbc1126.
After bisecting the kernel, I found this kernel commit is to blame:

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?i...

commit d60cd06331a3566d3305b3c7b566e79edf4e2095 (HEAD, refs/bisect/bad)
Author: Kai-Heng Feng 
Date:   Fri Oct 30 15:06:57 2020 +0800

PM: ACPI: reboot: Use S5 for reboot

I haven't tested with the OEM firmware yet.