# CONFIG_MG_DISK is not set