DSDT patches for OS X on Haswell HP Envy K-series - View it on GitHub