Re: kernel 2.6.17.1 does not boot on HP dc7600U