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