The board doesn't have upstream kernel support (like almost all SBCs unfortunately) so unless a) the Mali on the ODroid is included in this support (Different Mali generations have quite different interfaces) and b) the Mali support was the main thing preventing upstream kernel support (which is possible but unlikely), I'd it's likely to be irrelevant :(