[coreboot-gerrit] New patch to review for coreboot: 2cb3e3b lynxpoint: Do not put SerialIO devices into D3Hot in ACPI mode