VPP-112: linux kernel info missing from build log
VPP-112: linux kernel info missing from build log

Change-Id: I343418d409d682b00e74e41236382fdc6b3c780c
Signed-off-by: Dave Wallace <0ed937c0e4b2f09f7bc24acf16cee52b8a199d5f@gmail.com>

GabrielGanne/vpp-flowtable,milanlenco/vpp,muharif/vpp,chrisy/vpp,FDio/vpp,milanlenco/vpp,vpp-dev/vpp,chrisy/vpp,GabrielGanne/vpp-flowtable,chrisy/vpp,GabrielGanne/vpp-flowtable,chrisy/vpp,muharif/vpp,muharif/vpp,vpp-dev/vpp,FDio/vpp,milanlenco/vpp,vpp-dev/vpp,milanlenco/vpp,GabrielGanne/vpp-flowtable,chrisy/vpp,chrisy/vpp,chrisy/vpp,vpp-dev/vpp,chrisy/vpp,FDio/vpp,milanlenco/vpp,muharif/vpp,muharif/vpp,GabrielGanne/vpp-flowtable,milanlenco/vpp,FDio/vpp,FDio/vpp,vpp-dev/vpp,FDio/vpp,muharif/vpp,FDio/vpp,vpp-dev/vpp,GabrielGanne/vpp-flowtable,vpp-dev/vpp,FDio/vpp