Red Hat CEO hates patent trolls, but says sometimes you just have to pay up