Unless operating system is clearly defined, I absolutely would not assume that it must mean something more than kernel. These are legal stipulations, they are meant to be interpreted by an audience. They're not meant to be razor-thin in what they cover.