make et.export support etrecord generation#13164

Gasoonjia wants to merge 8 commits intogh/gasoonjia/38/basepytorch/executorch:gh/gasoonjia/38/basefrom

gh/gasoonjia/38/headpytorch/executorch:gh/gasoonjia/38/headCopy head branch name to clipboard