Yup, as someone who works with him...I can indeed confirm that he does in fact work for ARM Ltd. :)