kernel/baseconfig/powerpc/CONFIG_IPMI_POWERNV