Gantry utilizza nativamente RokNavMenu, utilizza quello con lo stile Fusion o Gantry-Fusion e non avrai nessun problema.
Tra l'altro nella configurazione del template Gantry c'è la scheda Menu, da cui è possibile far apparire il menu orizzontale o verticale, come preferisci, senza bisogno di creare alcun modulo...