いろいろ試してみましたがダメで、残る可能性はisoイメージの破損ではないかと思っています。
今Irvineで全isoを再DLしています。でもMD5値が公開されてませんよね？
とりあえずLinuxでループバックマウントしてやってみます。