Virtualization today, virtualization tomorrow: problems, challenges, and opportunities for mixed-criticality systems