svga: add comment on svga_buffer_hw_storage_map()