the issues I have is the fan will not increase speed when the temps rise. What can i do to make it work? Edit the DSDT? Anyone a idea?