Q&A with Mentor Graphics’ John Cherry: Android or Embedded Linux?