CEO's big buy forces HP to spend double on cloud catch-up