Sind die wirklich so lahm? In dem 7530 steckt ca. 700 MHz Dakota ARM Chip, in den Puma6 und Puma7 ist ARM Teil zwar langsamer, Atom aber deutlich schneller.
Naja, es noch mehr als ein Jahr bis Ende des Vertrages. Es kann sich in dieser Zeit schon viel ändern.