Awesome, thanks! Now I don't have a kernel panic when shutting down. Audio doesn't show up, though, am I doing something wrong? And should I clean up my config.plist, and how? I tried removing the DSDT patches from the config.plist, but it just broke everything and it wouldn't start anymore...