HP's $1bn 'Linux for the cloud' dream: Will Helion float?