Add T1 and T2 CPUs, add a Sun4v machine