https://worldofsoftware.org/linux-lands-fix-for-some-tlb-flushes-being-inadvertently-skipped/