Added BUILD_KERNEL to Travis build spec