[coreboot-gerrit] Patch merged into coreboot/master: b8cd529 jetway/nf81-t56n-lf: Fix PS/2 ACPI for KBC & Mouse.