Device (I2C4)
Look for "Intel SD Host Controller Driver" 1.2.1 . Acpi 80860f14
Select from the dropdown menu. If you see ACPI\VEN_8086&DEV_0F14 , you have confirmed you are looking for the Intel SD Host Controller. Device (I2C4) Look for "Intel SD Host Controller Driver" 1
Users on Stack Exchange have noted that including these options allows the MMC block and core drivers to finally see the storage device. Step 2: The DSDT Override (Advanced) Acpi 80860f14