save patched DSDT if set SavePatchedDsdt in config