Se me acaba de ocurrir otro método, poco ortodoxo me diréis, pero seguramente muy efectivo.
Compila tu programa en C configurando el #use rs232 para pines que no sean de USART y con bits de Stop=0. Quédate con el ASM generado.
Luego compila tu programa en C configurando el #use rs232 para pines que no sean de USART y con bits de Stop=1. Quédate con el ASM generado y compáralo con el anterior.
Así verás dónde se gestionan los bits de stop, y te será fácil modificarlo para añadir otro más.
Y con eso ya lo tienes, ¿no?