Re: [LinuxBIOS] SMP hardware question