Build Xen with debug=y