ACPI\80860F14 is a hardware ID for the Intel SD Host Controller

What is ACPI 80860F14? Breaking Down the Identifier

To understand the problem, one must first understand the anatomy of the ID.

4. Driver Support by Operating System

4.1. Linux

• Driver: i2c_designware_platform
• Kernel Config: CONFIG_I2C_DESIGNWARE_PLATFORM
• ACPI Matching: The driver matches against "80860F14", 0 in drivers/i2c/busses/i2c-designware-platdrv.c
• Common Issues: Failure to probe due to missing device_property definitions (clock frequency, IRQ mapping). Often requires firmware patches or dmi_system_id quirks.

• Performing a clean install of Windows 10 or Windows 11.
• Upgrading from an older version of Windows.
• Windows Update failing to find the appropriate driver automatically.