[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit 62aa9271afbcaf28f0c2bfe0086379cbf5a15117
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon Sep 14 15:38:37 2015 -0400

    pluto: sprinkle more consts around kernel_ops