32-битное ядро, способное загружать и запускать 64-битные двоичные файлы, должно иметь некоторый 64-битный код для обработки отображения памяти, загрузки программ и некоторых других 64-битных проблем.
Однако планировщик и многие другие операции ОС не обязаны работать в 64-битном режиме для решения других проблем - он переключает процессор в 32-битный режим и обратно по мере необходимости для обработки драйверов, задач, памяти распределение и отображение, прерывания и т. д.
На самом деле, большинство вещей, которые ОС делает, не обязательно будет работать быстрее на 64 битах - ОС не является тяжелым процессором данных, а частями (потоки, дисковый ввод-вывод и т. Д.) скорее всего конвертируются в 64-битные (плагины для ОС в любом случае).
Но само по себе ядро, вероятно, не будет переключать задачи быстрее и т. Д., Если оно будет 64-разрядным.
Это особенно актуально, когда большинство людей все еще используют 32-битные приложения, поэтому переключение режимов не всегда необходимо, даже если это операция с небольшим объемом служебной информации, это занимает некоторое время.
-Adam