[coreboot-gerrit] Patch set updated for coreboot: 2e035ab mainboard/jetway/nf81-t56n-lf: Rewrite ACPI OS detection