Jens,
He did say "kix32 is entered into the Logon script box under the profile tab" so my take would be that there is no logon.bat involved.

If waiting for the boot to complete before logon works then there has to be some other underlying issue like WINS or DNS name resolution.
_________________________
Give a man a fish and he will be back for more. Slap him with a fish and he will go away forever.