#!/bin/sh -e
PKGNAME="$1"
VERSION="$2"
echo "Setting RPi3 kernel to ${VERSION}."
cp /boot/vmlinux-${VERSION} /boot/vmlinux-rpi3