Fix futex shutdown issue with _exit().  Instrument with printk()