The Cortex A15 is actually one of the few ARM32 cores to have hardware virtualisation support. Unfortunately, this was little used and support for it is being removed upstream. Either we will have to maintain it ourselves, or convince the maintainers to reinstate it with a good use case, if we...