When device is ejected by some VM (state=6, effectively inactive), it should be removed from xenstore to free slot for some another device. This should be done by libxl toolstack, but not implemented in xen 4.1 - AFAIR done in xen 4.2.