Fix compilation error for pic32mz platform.
Fix compilation error for pic32mz platform.

prplfoundation/prpl-hypervisor,prplfoundation/prpl-hypervisor,prplfoundation/prpl-hypervisor,prplfoundation/prpl-hypervisor,prplfoundation/prpl-hypervisor,prplfoundation/prpl-hypervisor