drivers/isdn/mISDN: Use printf extension %pV