[HCA] Distinguish between Tavor and Arbel HCAs, report correct device ID