We have a struct device_d *, so use dev_* for printing instead of printf. Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>