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

the following patch was just integrated into master:
commit b8cd52956b845511480c07a3dcd6cfbb3e936d80
Author: Edward O'Callaghan 
Date:   Tue Mar 4 17:07:22 2014 +1100

jetway/nf81-t56n-lf: Fix PS/2 ACPI for KBC & Mouse.

Provide ACPI table node so that the PS/2 keyboard/mouse port works
    in GNU/Linux.

Change-Id: If73b8d37a81bb9066cbcc650b518d25e243b84e7
    Signed-off-by: Edward O'Callaghan

See http://review.coreboot.org/5327 for details.

-gerrit