In case anyone would rather grab stuff locally (and assuming you intend to upgrade to 2.4.13) I put the 2.4.12 kernel and the patch to 2.4.13 on my webserver.
http://vh224401.truman.edu/~dbindner/kernel/ I'd appreciate that you don't post the location on SlashDot. Don -- Don Bindner <[EMAIL PROTECTED]>