I’m sure that Dan will not need it but for others a how-to for RPi3 can be found here:
A couple of things to note. First the build will not work on a P1 or Pi2 as they have the wrong architecture. Second, I’m also reasonably certain it will not run as shown on a Pi4 because it has different boot code. For the pi4 you should start on the git hub 64 bit kernel instead