GPL2 kernel source as an MIT-licensed model: Is this really open?