Add spec tests for Xen on EL5