# CONFIG_M586MMX is not set