A vulnerability, which was classified as critical, has been found in ACRN up to 2.4. Affected by this issue is an unknown part of the file devicemodel/hw/pci/virtio/*.c of the component Polling Timer. Upgrading to version 2.5 eliminates this vulnerability. Applying a patch is able to eliminate this problem. The bugfix is ready for download at github.com. The best possible mitigation is suggested to be upgrading to the latest version.