Ich habe auch die 4.13.528.
Nach der Auswahl des MKII bekomme ich bei den Devices in der AT90'er-Reihe nur die CAN, USB und PWM-Typen.