Вообще-то - вот просто так, для каких-то, на мой взгляд совершенно ненужных мелочей самому менять родной ntoskernel неизвестно каким- это круто! советую еще попробовать поменять ntldr и все содержимое папки config - внутри виндовс\систем32. Шутка.
Для этих целей существует специальная утилита - я не помню как точно она называется, но однажды (недавно) я скачал её в запакованном виде с какого-то варезного сайта под названием: - bootxpsetup.exe.
Так же просто и найти лекарство к ней.
