Linux revenue set to top $1 billion in 2012