Итак, сразу скажу, что для разрешения проблему скорее всего придётся прибегнуть к помощи всех знакомых гадалок, шаманов etc. Есть Lenovo X60, на который хочется запихнуть нормальный Bluetooth через не whitelist Combo WiFi карту. Насколько я посмотрел доки, Coreboot сиё позволяет, однако он же в связке с SeaBios ни в какую не желает загружать Шиндовс, который очень редко, но очень нужен. С TianoCore же удивительным образом всё загружается. Однако не без ложки дёгтя. После появления ушастого зайца на экране до дальнейшей загрузки проходит 2:30 минуты простоя (жёсткий диск не активен, вентилятор работает на минимальных оборотах). Узнать, из-за чего происходит данная задержка мне не удалось - при попытке прошить debug версию TianoCore система перестала загружаться, выдавая только лишь чёрный экран, после чего был произведён откат с помощью программатора. По логам CBMEM с Coreboot всё в порядке, по крайней мере не хуже, чем с SeaBios (оно и не удивительно). Были подозрения на проверку оперативной памяти, но уменьшение её объёма в 2 раза никак не повлияло на время задержки. Соответственно, что делать с этой ересью, если даже логов нет?
Updated: Опытным путём было замечено, что TianoCore не сохраняет свои настройки в CMOS (То есть, например, пункт загрузки Windows Boot Manager отсутствует, сколько его не создавай). Возможно, в этом кроется соль проблемы.