# CONFIG_EDD_OFF is not set