[coreboot-gerrit] Patch merged into coreboot/master: ef4dcc0 mainboard/jetway/nf81-t56n-lf: Make ACPI debug menuconfigable

the following patch was just integrated into master:
commit ef4dcc09bbfbd7bb610ad51d6080fe01ace66dcc
Author: Edward O'Callaghan 
Date:   Tue Apr 15 17:26:46 2014 +1000

mainboard/jetway/nf81-t56n-lf: Make ACPI debug menuconfigable

Turns out we have a CONFIG_DEBUG_ACPI definition under:
    Debugging -> Output verbose ACPI debug messages
    Hence, let us make use of this definition.

Change-Id: I1b673feb6d9b2ee51c832a1cef159cd80e5c3517
    Signed-off-by: Edward O'Callaghan 
    Reviewed-on: http://review.coreboot.org/5506
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexandru Gagniuc

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

-gerrit