re-wrote section on building and installing a kernel