David Einhorn Is Betting on HP (HPQ) Stock