For some reason, REPORT_INTEL_REGS is set to 0 in AppleIntelInfo.h rendering the logIntelRegs setting in Info.plist useless. Overriding this value allow dumping the registers but with wrong values (0xffffffff). I've seen your words about this issue for Skylake but I'm running on Haswell and have the issue under both 10.11 and 10.12.