Haces bien, yo con tu misma ROM metí la 77 y volví a las 72...
Además tienes que pensar que el creador de la Jelly Sandwich ha incluido la baseband 72 en su ROM y no la 77 así que eso puede darte una idea de que baseband puede ir mejor para tu firmware