respeaker hat on rock64

[Mentaluproar]

I have a raspberry pi respeaker hat I want to use on the rock64, but their install scripts only work on the raspberry pi. It looks like most of the script is easily modified to work on the rock64, but I'm not sure about the DTB file.  I decompiled it and it's over my head.  What is needed to make this compatible with the rock64?

This is the decompiled overlay file:
https://pastebin.com/qbtADNUp

[Mentaluproar]

Nevermind.  This won't work.  It turns out, the rock64 cannot boot with this particular device connected.