VoodooTSCSync.kext is needed based on BIOS version. Does not harm to have it on said systems that this is not needed for. So for the ease of use for the end users we have it set that everyone simply installs this. The Asus Rampage Series boards for example do not need this kext and I believe yours does not either from my memory.
As for ACPI Section in Clover. You are correct however on some Gigabyte boards we have found under some conditions failure to boot without these settings and furthermore on the Dual CPU systems (LGA 2011 based) will result in failure to boot as well. So we leave these settings as we have had since 10.8.x when we moved to Clover Boot Loader. In theory you can use are files from 10.6.7-current (which I have done with my AMD 6870). I have personally experienced no issues with performance but if you want to do some testing we can always branch the Clover Config files if needed. We just want to make it as simple as we can in regards to installation and post installation.