Re: [Linaro-uefi] [PATCH] Override PrePeiCoreMPCore to allow 64-bit mailbox pointers