[LinuxBIOS] Re: SMP hardware question