# CONFIG_MK6 is not set