the number of cores, and the presence of Xen. Updated bootstrap build to make in the rosbuild package.