It could be that the firmware is different.
the md5sum from the firmware in this openelec is 2c12c1931ead080490e91bbc181aa285.
I don't own this card so I can not test myself.
PS armbian used the sources from kernel.org
I had to change the patch a bit, it did not cleanly aply. I put the binaries and patches on Google drive. I have no idea if it will even boot or break anything.