You need a vGIC to have an ARM Virtual Machine that has functioning interrupts, and without those you can’t run any operating system. There is a git style patch that is on the previous thread that should fix it. Don’t assume it’ll fix the error you’re running into however. It’s even possible that it’s already upstreamed.