svga: Handle null buffers in svga_buffer_is_user_buffer().