OpenCore's settings change frequently from month to month with each new release. This is one of the reasons its version number starts with
zero. Because of these frequent changes, it is very time consuming to keep Post 1 up to date.
However, if you download the latest EFI folder from one of the mini-guides for this build, you can trust that it is set up correctly. And you can use HackinDROM to update it to newer versions.
It is also a good idea to see the OpenCore
Differences.pdf that is included in the
Docs section
in GitHub, and in the
Docs section of the downloaded package.