added old_encode_dev() in drm debugging printks, so they won't change
when we go for bigger dev_t.