Remove an obsolete link and rephrase section about debug options in kernel a bit.