Intel reports a solid Q2 with revenues of US$13.2bn, cites growth in IoT