Intel claims No. 2 Linux contributor spot as hedge against Microsoft