Stability seems to be back!
After eliminating the faulty hardware controller, I did see one more kernel crash. As a consequence, I changed the kernel CPU target to generic i686 (as opposed to AMD64), and the server has now been running smoothly for 8 days.
So, if anyone else is having stability problems with Linux when using an AMD optimized kernel, [...]
