Peppermint and Sled: Tools for Evaluating SMP Systems Based on IA-64 (IPF) Processors