Safely reading Intel MSRs?