If there is a somewhat reliable reproducer, we could try some patches. I think this might be the same issue that is currently in the progress of getting patches pushed upstream [1]:
* [PATCH 1/2] x86: mm: Fix vmalloc_fault oops during lazy MMU updates.
* [PATCH 2/2] mm/x86: Patch out arch_flush_lazy_mmu_mode() when running on bare metal
If there is a somewhat reliable reproducer, we could try some patches. I think this might be the same issue that is currently in the progress of getting patches pushed upstream [1]:
* [PATCH 1/2] x86: mm: Fix vmalloc_fault oops during lazy MMU updates. lazy_mmu_ mode() when running on bare metal
* [PATCH 2/2] mm/x86: Patch out arch_flush_
[1] http:// www.spinics. net/lists/ stable/ msg02839. html