Wenn der Zeitstempel der kernel32.dll 2004-07-26 ist dann handelt es sich um das Interim Release 1218+ (es gab kurz zuvor ein Build 1218, was aber nach wenigen Tagen ersetzt wurde - die Verwendung der des alten Build 1218 ist nicht zu empfehlen...).
DDK (3790.1218+), HCT (12.0 RTM) und
PSDK (3790.1218.9) sind über das Betaprogramm verfügbar.
edit : Zahlendreher
ps: ein Blick auf den neuen Security Configuration Wizard (SCW) lohnt sich...