[coreboot-gerrit] Patch merged into coreboot/master: 5b9a408 mainboard/jetway/nf81-t56n-lf: Enable ACPI S3 support in Kconfig