Comment 5 for bug 1581720

Yeah sorry, meant to loop back on this. His kernel is minimally functional and I've been using it on a test arm64 machine (though looks like vchiq is intentionally disabled presumably because it's not functional, and the brcmfmac module doesn't recognize the wifi chipset even with firmware present), but it looks like it is a very early one-off effort.

We do eventually want to have RPi3 arm64 support, but it's probably not going to happen for awhile. Interestingly, the Raspbian kernel trees show no work toward arm64 support; hopefully they're just working on it in the background.