Is possible to just make modified kernel open source but not the operating system?