DVB: firedtv: fix printk format mismatch