Fix build!

Author: icarito

versions.config

@@ -8,7 +8,7 @@ RAW_IMAGE_VERSION="master"
 RAW_IMAGE_CHECKSUM="e32c0b9f3cdb9c60bad97a724103fc1283cdc135848e6142d588cd96fac1d6a8"
 
 # specific versions of kernel/firmware and docker tools
-export KERNEL_BUILD="1.20190517-1"
+export KERNEL_BUILD="1.20190709~stretch-1"
 # For testing a new kernel, use the CircleCI artifacts URL.
 # export KERNEL_URL=https://62-32913687-gh.circle-artifacts.com/0/home/circleci/project/output/20180320-092128/raspberrypi-kernel_20180320-092128_armhf.deb
 # export KERNEL_VERSION="4.14.98"