Device-assignment: don't use libkvm's private get_slot()