Allow kernel to be sourced from the ART plashet#1133

openshift-merge-robot merged 1 commit intoopenshift:release-4.10openshift/os:release-4.10from

jupierce:art-4.10jupierce/os:art-4.10Copy head branch name to clipboard