Could you try some graphics benchmarks with the VC4 driver and gl4es on the other ARM SBCs? I'd you decide to do so I can definitely help with the setup...