BugChecker doing trace in the HAL code on a SMP machine...