Add ipmi and xen cookbooks