I don't know why X86PlatformPlugin is not showing up then...
Is this infomation useful? this boot log from DCPI
SMBIOS orig was = f0110
SMBIOS new is = 285d000
Read HFS+ file: [hd(0,2)/Extra/DSDT.aml] 46053 bytes.
Read HFS+ file: [hd(0,2)/Extra/SSDT.aml] 895 bytes.
ACPI Table not found: SSDT-1.aml
FADT: ACPI Restart Fix applied!
FADT: Using custom DSDT!
OEM SSDT tables was dropped
OEM SSDT tables was dropped
OEM SSDT tables was dropped
OEM SSDT tables was dropped
RSDT: Added 1 SSDT table(s)
FADT: ACPI Restart Fix applied!
FADT: Using custom DSDT!
OEM SSDT tables was dropped
OEM SSDT tables was dropped
OEM SSDT tables was dropped
OEM SSDT tables was dropped
Added 1 SSDT table(s) into XSDT
Starting Darwin x86_64
Boot Args: kext-dev-mode=1
Read HFS+ file: [hd(0,2)/Extra/Themes/Default/boot.png] 20271 bytes.