# CONFIG_IPMI_LS2K is not set
