Re: Possible race condition in multi-core EDK2