We only need version 4.20
wget https://github.com/torvalds/linux/archive/v4.20.zip
unzip linux-4.20.zip
We can compile the kernel the following way:
cd linux-4.20
wget https://raw.githubusercontent.com/firecracker-microvm/\
firecracker/master/resources/microvm-kernel-arm64.config -O .config
wget 'https://git.openwrt.org/?p=openwrt/openwrt.git;a=blob_plain;f=target/linux/bcm27xx/bcm2711/config-5.4;h=ee391ff5be551964526cd1aa6315dfc3d3ea66ec;hb=HEAD' -O .config
make olddefconfig
sudo apt install libssl-dev
make vmlinux