Rename DSDT_orig.dsl to DSDT_orig.h