mango: Fix device name

Change-Id: Ibd2d4535ebaf7502675dd94fcf29285c34b9c4be