> Насколько я помню, bay trail "32-битных серий" не бывает

Не помню, относится ли что-нить вроде Atom Z2580 именно к *bay* trail, но они 32-битные.

> И только фирмварь 32-х битная.

А вот эту диверсию делали

> И я не думаю, что они прямо уж так "задерживали конкурента", пишут,
> что это просто баг был, который они (как обычно) долго исправляли

Если "баг" в InstaGo зависел от MS, то это недоверенный источник что "бага", что информации о нём.  Повторюсь, моя методика анализа по косвенным данным в этом случае привела к мысли именно о диверсии -- а что именно было, покажет время и, возможно, очередной судебный процесс с раскрытием документов (если в MS не научились из прошлых разов такое не документировать, а распоряжения делать устно/косвенно).

> В конце концов, это ж проблема дистрибутивов линукса, что они это толком
> не поддержали (хотели бы поддержать - на маках можно было несколько
> лет как тренироваться), а не "происки злобного MS"

Да-да, конечно.  Как и SecureBoot с точно подобранным набором блокирующих факторов.

> В том же треде, ниже, кстати, пишут, что ubuntu успешно грузится в
> 64-х битном режиме из 32-х битной фирмвари - вопрос свежего ядра
> и правильного GRUB'а. Имхо, действительно проще такую штуку соорудить,
> чем думать о 32-х битном линуксе.

Упирается или в 32-битный тулчейн для сборки такого загрузчика, или в таскание блоба -- чего бы не хотелось, но для желающих подключиться и помочь может быть вполне вариантом, особенно на первой стадии запихивания альта на свою железку.

Чем ещё смогу -- помогу, по 64-битным таким железкам прокопано довольно много.