Another thing I've discovered is that enabling CONFIG_IPMI_HANDLER is a bad idea, as init_ipmi_si just hangs. I didn't look into why, as I have no need for IPMI and just disabled it. --Ed