Alexmos and Storm32

Will the Mavlink documentation work as well on serial with an Alexmos as it does with the storm? I have seen some pictures that had Alexmos on the board case but the chips say storm 32 on them.

Would one be wise to only go with the Storm confirmed boards?
Or will Alexmos gimbal boards work just as well?
I know they are more expensive, but the extended encoder version looks a lot simpler to wire to encoders, which I plan to use