we don't need to correct DSDT has already been fixed