Your hotpatch is still bugged. Note output from disassembly of patchmatic -extract output:
Code:
Firmware Error (ACPI): Failure creating [\_SB.PCI0.LPCB.H_EC.ECF4], AE_ALREADY_EXISTS (20180427/dswload-498)
ACPI Error: AE_ALREADY_EXISTS, During name lookup/catalog (20180427/psobject-371)
Could not parse external ACPI tables, AE_ALREADY_EXISTS
For the EC overlays in your hotpatch SSDT, you must come up with different names than those used in the original code.
And you should not be including symbols that don't need patching, as those are simply referred to with External.
Only the symbols which needed splitting into 8-byte registers should be present (with names that don't conflict, in regions with names that don't conflict, but with a matching offset of the original).