У кого стоит Windows 7 x64 посмотрите у ядра и хала заголовок... У меня, и у еше нескольких знакомых людей я обнаружил 32 битное ядро на 64 битной системе. У большинства все как положено. Кто знает в чем причина такого беспардонства мелкомягких??? И как это работает? У меня Windows 7 x64 Prof. Core 2 Duo T5500, у другого товарища с такой же проблемой Enterprise c AMD 3800+. P.S.
Дык вроде как все что 32х разрядное должно находиться в SysWow64, но у меня в system32 и SysWow64 идентичные ядра. UPD: Поискал в winsxs нашел x64 ядра. Лежат себе со спокойной душой.