Yea, the big issue with licensing Linux as AGPL would probably be that Linus explicitly doesn't like GPL3's ant-Tivoization stuff. Requiring SaaS providers to distribute their kernel patches is, I believe, completely in line with the goals of Linus's choice of license.