[PATCH] x86-64: Tighten mce_amd driver MSR reads