UefiCpuPkg/MpInitLib: fix 32-bit build error