Thanks for the reply.
I was on kernel 3.2.0-29-generic, and I just tried upgrading to 3.2.0-32-generic, but that didn't seem to have any effect. If there is a work around, I'd love to find it. I don't really want to put these servers into production this way. Sure, I could document this behavior, but I'm sure this would still cause problems next time someone else reboots one of these boxes and it doesn't come up on its own.