Google Linux servers hit with $5m patent infringement verdicttheregister.co.uk9 pointsdatums15 years ago