Compaq Airlife 100 smartbook to run on AT&T’s network?