[PATCH] x86/cpu: Initialize MSR_TSC_AUX if RDTSCP *or* RDPID is supported