ipmi: add new kernel options to prevent automatic ipmi init