

Some more aggressive CR3 whacking is needed on some machines to completely
flush the inflate page TLB entry.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars