[LinuxBIOS] secondary cpu question