Faudrait trouver un BIOS de TI4600 avec la même memoire hors les TI4600 ont des puces au format BGA alors que les TI4200 sont au format TSOP donc je vois pas bien comment tu veux faire.
Par contre,tu peux editer le BIOS pour augmenter les frequences mais c´est exactement pareil qu´avec un logiciel ou les CoolBits des pilotes nVidia.