How many consumer devices is Linux successfully running on?