The other thing that should work as mentioned in that article:
arm_64bit=0 added tot /boot/config.txt
afterwards reboot and then do the binding installation. Not tested but technically that should work.
Problem is that kernel runs in 64bit mode while the ‘OS’ uses 32 bit.