RASPBERRYPI_CONFIG="raspberrypi0w" RASPBERRYPI_KERNEL_IMAGE="kernel.img" MENDER_KERNEL_IMAGETYPE=zImage source configs/raspberrypi_config