[LinuxBIOS] SMP hardware question