Jeff Garzik and Jeff Garzik Fix futex shutdown issue with _exit(). Instrument with printk()