I don't think this is correct. It definitely seems like code that would otherwise be proprietary does end up being open sourced in the case of the Linux kernel with certain drivers.