Use clflush instead of wbinvd, when possible.  From OpenBSD.