[OpenBIOS] TCX fixed, SMP mode