When it comes to timing, Craig Barrett’s announcement of his retirement was hardly propitious.

Late last month, the Intel boss announced that he was stepping down after 35 years with the world’s biggest chipmaker and almost a decade as its chief executive or chairman.