vbo.buffer nor vbo.buffers aren't normally used by external code
The normal way to get the ID of the VBO is int(vbo)
See https://github.com/inducer/pyopencl/issues/196