kernel.org에 떴군요.

상당히 많이 변화가 된것 같은데요. SMP나 pthread쪽도 많이 수정된것 같구요.
그래서 오래걸린것 같습니다. 조만간 정식 버젼을 기대할 수도 있을것 같네요.

http://www.kernel.org