只是好奇.如果Android基于修改后的Linux内核并且其源代码已关闭,是否违反了GPL2的条款,GPL衍生品还必须提供其源代码“Liberty或Death”？