HP buys Palm.