[Linaro-uefi] [PATCH 4/4] Override PrePeiCoreMPCore to allow 64-bit mailbox pointers