HP Buys Palm For $1.2 billion. It’s Done