Re: [kvmarm] [PATCH] bootwrapper: CPU hotplug aware boot protocol