Re: [PATCH v4 2/4] hw/i386: Attach CPUs to machine