Linux now on 42% of consumer computing devices – happy birthday Linus