# CONFIG_HP_ILO is not set