Build #586 (Jul 4, 2020 4:59:16 PM)

PR #3002: Update kernel-versions.md

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

Configurations