[codex] address merged PR review follow-ups#65

zhoubot wants to merge 2 commits intomainhw-native-sys/pto-isa:mainfrom

codex/fix-merged-pr-review-followupshw-native-sys/pto-isa:codex/fix-merged-pr-review-followupsCopy head branch name to clipboard