20110507 tech: USB stick-sized PC for just $25