Re: [PATCH 1/9] drivers/gpu/drm/drm_stub.c: Use printf extension %pV