커널 소스가 리눅스 커널에 비해서 어느쪽이 효율적인지?