[coreboot-gerrit] Patch merged into coreboot/master: 5188d40 jetway/nf81-t56n-lf: Use hexdump() for dumping ACPI tables