Re: [PATCH] ARM: do not mark CPU 0 as hotpluggable