Kuzya MarininЗначит слух о том, что на SP1 у некоторых может не работать скорее правда, чем ложь.

Если есть желание еще поэкспериментировать можно попробовать так (Инструкция):
1) Скачиваете по ссылке файл
ntkr128g.exe (проверен на виртуальной системе).
2) Копируете ntkr128g.exe в папку C:\Windows\Systems32
3) Запускаете командную строку от имени Администратора
4) Вводите команду: bcdedit -copy {current} /d "Windows 7 x86 [ 128GB with ntkr128g.exe ]"
Появится сообщение: The entry was successfully copied to {GUID} ( Вместо GUID будет созданный системой идентификатор Например: {61b1399a-24cd-11de-a4c4-ca27f4abce37}) Запишите его себе.
5) Введите следующие команды, указав вместо {GUID} сгенерированный системой идентификатор.
bcdedit /set {GUID} testsigning on
bcdedit /set {GUID} pae forceenable
bcdedit /set {GUID} kernel ntkr128g.exe
bcdedit -timeout 10
bcdedit -displayorder {GUID} -addfirst
bcdedit -default {GUID}
6) Перезагрузите компьютер.