First batch of $35 Linux computers arrives in UK