Build #588 (Jul 4, 2020 5:56:21 PM)

PR #3002: Update kernel-versions.md

	No changes.
	GitHub pull request #3002 of commit 6a74912394bfdca8aefe64fd108f594113c4aaab, no merge conflicts.

Configurations