Hi Whats the status of the arm port for cm3? Just asking since there is a lot of interest in the new raspberry pi machine, the credit card sized linux box selling for $35 Regards Peter