RASPBERRYPI_CONFIG="raspberrypi4"
RASPBERRYPI_KERNEL_IMAGE="kernel7l.img"
MENDER_KERNEL_IMAGETYPE="zImage"
source configs/raspberrypi_config