Hi! When reviewing fea4e317f9e7 ("x86/mm: Eliminate window where TLB flushes may be inadvertently skipped") various other issues were raised. None of these are critical, so here goes.