패치 방식은

제가 직접 커널을 패치하면서 수행한 것을 그때 그때
쓴 것이기 때문에 차이가 없을 것으로 추측합니다.
또 홈페이지로 옮기는 중에 발생할 수도 있지만
저희 홈페이지 담당하시는 분의 성격상 그럴경우가 없을 겁니다.

아마도 패치 화일에서

커널 환경 설정 부분에 이상이 있는 것으로 추측합니다.
저희가 한번 더 확인해 보겠읍니다.

아님 툴체인 부분에 이상이 있거나....
이 게시물을...