Handle device names with whitespaces

There are user reports of platform device names that contain whitespaces

Thanks: Zoltan Hidvegi
Closes: #752681