# 1. prepare a Ubuntu 16.04 x86_64 install, upgrade, and get build tools.
sudo apt update && sudo apt upgrade -y
sudo reboot
sudo apt install -y libncurses5-dev  bc build-essential gcc-aarch64-linux-gnu git unzip ccache

# 2. build kernel
git clone https://github.com/jesset/RPi-audio-kernel-build.git
cd RPi-audio-kernel-build
./kbuild.sh
# or, add a localversion
LOCALVERSION=-my-r1 ./kbuild.sh

# 3. install kernel tarball
# copy kernel tarball to RPi ...
sudo -i
cd / && tar --no-same-owner -xf /path/to/kernelbuild-XYZ.tar.xz

# 4. upgrade firmware (optional)
git clone --depth 1 https://github.com/raspberrypi/firmware.git
cd firmware
sudo cp -v start*.elf fixup*.dat bootcode.bin LICENCE.broadcom  /boot/