[coreboot-gerrit] Patch merged into coreboot/master: 00b6146 hp/pavilion_m6_1035dx: Use hexdump() for dumping ACPI tables

the following patch was just integrated into master:
commit 00b61460301514ea44d847f6b6617e5f9091a8cb
Author: Edward O'Callaghan 
Date:   Tue Apr 15 19:43:05 2014 +1000

hp/pavilion_m6_1035dx: Use hexdump() for dumping ACPI tables

Following the rational of:
    5188d40 jetway/nf81-t56n-lf: Use hexdump() for dumping ACPI tables
    Use "Debugging -> Output verbose ACPI debug messages" in menuconfig to
    toggle.

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

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

-gerrit