added companies using ARM in embeddedLinux handout