More DSDT fixes