My friend and I both had A4000's.... same revision even. We took his 3640 card, added a socket, and tossed an 80mhz xtal in it. He had 40mhz! Put that same 3640 card in my A4000, and it wouldn't boot until we got it down to 33mhz. So, we put it back in his machine, and it wouldn't work at 33mhz.
Absolutely bizarre. It worked though, still works too. The 040 25mhz made it to 40mhz, and has been running for well over 3 years. There was only one problem.... the FPU didn't make it. If you tried to render an image you would get corrupt renders. For everything else not requiring FPU it ran flawlessly.