[coreboot-gerrit] New patch to review for coreboot: 0c31b12 lynxpoint: Change SerialIO device enable reporting to ACPI