Re: [LinuxBIOS] secondary cpu question