Thanks for the suggestion @RangerZ.

I have successfully compiled LEDE for the MiFi to test it out.