If you own any of these devices and run Linux, ACPI 80860F14 is likely the sole barrier to functional onboard audio.