device: Use printf instead of manually building the GUID

This shorten all this part a lot, and lets the thoroughly tested printf do the job.

Splitting from !48 (closed)