Edit: fsl_hypervisor.h