I cannot remember the name of the 8086 trainer kit, unfortunately. That was more than 20 years ago. It indeed looked very much like the MCS-86 picture you have linked to. I could not have remembered the name of CPLD kit either if it weren't for the project report where I have kept a picture of the kit and its model name. It was Xilinx XC9572 PC84 CPLD Trainer.