I have followed all the steps you mentioned, and I am currently using Macpro7,1. Everything has been perfect so far!
The only problem I encountered was when creating my custom SSDTs using Corpnewt's SSDTTime. In the first step, when I select option 1 (for FixHPET), I get an error message that...