use dev_dbg in vivante_buffer_dump(..)

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>
prefer seq_puts(..) to seq_printf(..)

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>