[PATCH 3.16 11/25] x86/tsx: Add config options to set tsx=on|off|auto