Currently supported Tekmos devices:

TK68HC711D3 [PLCC44], TK68HC711E9 [PLCC52], TK87C51RB2 (as P87C51FB), TK87C51RB2 [LQFP44](as P87C51FB), TK87C51RB2 [PLCC44](as P87C51FB), TK87C751, TK87C751 [PLCC28], TK89C668 (ISP), TK89C668 [PLCC44], TK89C668 [PLCC44](UART)