[LinuxBIOS] PATCH: failure/race in secondary CPU startup