Re: Is Pandaboard cpuhotplug working stably?