Presumably Microsoft is allowed to use Windows wherever they please ;)

Since they are saying it is 'for Linux' rather than it is Linux, I suppose they are probably ok, although the system doesn't contain or even work with any parts of Linux itself in any way.