documentation: Update reference, kerneltrap.org no longer works