[U-Boot] driver model is not smp safe