Ha jól értem a problémát, ilyenkor jön jól a mikrokernel-architektúra a monolitikus kernel helyett. Arra az ilyen jellegű CPU bug nincs hatással, hiszen eleve izolált a kernel memóriaterülete és a userland processz memóriaterülete.