インストール先は任意だし、なにが普通かよくわからんが
もし>>205のインストール先を例にとるならこんな風にしてみたら？

rem set W81SDK=W:\usr\local\w81sdk
set W81SDK=C:\Program Files (x86)\Windows Kits\8.1

それとこのバッチファイルは"管理者として実行"させるのを忘れないようにな
>>167の 4. にも書いてあるけどさ。もし管理者以外で実行しようとすると
アクセスを拒否されて失敗するから。

バッチファイルには簡易的なチェックしか組み込んでないから
もし失敗したらいったん閉じて、バッチファイルを管理者として実行してから
メニューで3 -> バッチ再実行 -> 7 -> 1の順に選べばいい。