That part of the page is new I had emailed the site author. When I\'m feeling adventurous I may try the install again. For now, I\'m leaving well enough alone. I had tried the Tetsu kernel primarily because I was experience semi-frequent reboots with the Cacko kernel.