guard killing of embedded ifc interface indices to platform FreeBSD