Actually, the file generated by iasl (dsdt.dsl) is no good for this use. Sorry for the confusion. It is the same data, but disassembled and parsed to a higher-level language. In order to get the aml file (which is a binary file), you need either to compile the dsl file with iasl or make it output the binary itself. I'll try to figure out how to get the binary without compiling. You may also refer to the various guides throughout the osx forums.