hjl-tools Update kernel directory
717fbd6 Dec 6, 2013
Update kernel directory
717fbd6