Re: [PATCH] Machine: fix default value for Machine pool_params