The Microsoft versus TomTom Patent Debate is not about Linux