Only show kernel-stuff at the end of configure if driver build is enabled
Only show kernel-stuff at the end of configure if driver build is enabled

ananos/xen2mx,ananos/open-mx,ananos/open-mx,ananos/xen2mx,ananos/xen2mx,ananos/xen2mx,ananos/open-mx