El kernel, será reemplazado por un cargador HVM (HVM loader) que permite utilizar las extensiones de virtualización del procesador y luego bootear el SO correspondiente según la configuración de arranque (especificada mediante boot).