Merge "docker: Added docker container for running collectd"

diff --cc systems/build_base_machine.sh
index a50baf2,e0c8370..dab2e76
--- 1/systems/build_base_machine.sh
--- 2/systems/build_base_machine.sh
+++ b/systems/build_base_machine.sh
@@@ -58,13 -59,13 +59,13 @@@ distro_dir="$OS_NAME/$VERSION_ID
  if [ -d "$distro_dir" ] && [ -e "$distro_dir/build_base_machine.sh" ]; then
      $SUDO $distro_dir/build_base_machine.sh || die "$distro_dir/build_base_machine.sh failed"
  else
 -    die "$distro_dir is not yet supported"
 +    die "$distro_dir is not supported"
  fi
- 
- if [ ! -d /lib/modules/`uname -r`/build ] ; then
-     die "Kernel devel is not available for active kernel. It can be caused by recent kernel update. Please reboot and run $0 again."
+ if [ -z ${DOCKER+x} ]; then
+        if [ ! -d /lib/modules/`uname -r`/build ] ; then
+        die "Kernel devel is not available for active kernel. It can be caused by recent kernel update. Please reboot and run $0 again."
+        fi
  fi
- 
  # download and compile DPDK and Collectd
  if [ -f ../src/Makefile ] ; then
      cd ../src