Samsung exec says next tablet will use Android ‘Honeycomb,’ Galaxy Tab getting Gingerbread