Common DSDT patches for Ivy/Sandy Bridge laptops for running OS X