> А на деле выясняется, что сначала надо собрать hex0, у которого в инструкциях по бутстрапу написано, что его надо собирать при помощи gcc.

Не читай инструкции, читай код. hex0 содержит внутри себя stage0, который представляет из себя бутсектор для флопа, который в свою очередь простейшая тулза для набора бинарного кода. Он так же содержит stage1, который можно использовать как подсказку, чтобы набрать утилиты для сохранения набранного на дискету. Там если поковыряться, то можно найти ещё компилятор C и интерпретатор лиспа. Главное не забыть распечатать asm-листинги, прежде чем ребутаться с дискеты. И да, корректность этих листингов ты вполне можешь проверить вручную -- там не так уж и много кода, не больше недели понадобится: в шестнадцатеричную арифметику в уме ты научишься на третий день, а дальше само пойдёт.