Question regarding U-boot MultiCore SMP