Из-за того, что с выключенной трансляцией страниц нельзя

Из-за того, что с выключенной трансляцией страниц нельзя переключить
процессор в 64-битный режим , x64 UEFI firmware использует трансляцию страниц.
Но при этом таблицы страниц составлены так, что линейные адреса равны физическим.

Думаю, одна из проблем в том, что процедуры UEFI Boot Services, могут оказаться


несовместимыми с другими вариантами трансляции.

Недаром в спецификации UEFI в описании функции SetVirtualAddressMap
(которая может быть использована для изменения трансляции) написано,
что вызывать ее может только приложение, вызвавшее перед этим функцию
ExitBootServices.

Загрузится ли обсуждаемая ОС без изменения paging context ?