Small VultureSMP updates