https://blog.boxcorea.com/wp/archives/39
현재 운영되는 커널이 32비트인지 64비트인지 확인하는 방법.