This is mostly licensed from IBM research, and IBM research already has significant BSPDN IP, so I don't see why they couldn't also license that.