Re: [PATCH] Always enable mmiotrace when building x86 kernels