P715: fix device name

Change-Id: I4261e30c2e8bfbbb83e8cedcc17c666cf145f690