branches: 1.8.18; 1.8.42; 1.8.56;
Add a comment reminding to update the release notes if the list of
kernels change.