Бывает, я нашел ответ сам. И подтвердил это в ntdev списке рассылки.
ntldr
действительно загружает только четыре файла, упомянутых в вопросе, и не использует никаких объявлений импорта.
Вы можете проверить это, создав ядро-заглушку (которое импортирует что-то из реального ядра) и используя следующие опции boot.ini
(вы получите список загруженных модулей в файле %SystemRoot%\ntbtlog.txt
):
/bootlog /kernel=stubkrnl.exe