Me autorespondo: el propio popcorn te da la posibilidad de formatear a ext3, buceando en la configuración. Ya me extrañaba que no fuera así.

Saludos y gracias de todas formas compis.