Ese kernel por defecto no viene con esa opción. Si quieres el ext4 tienes que bajarte la apli de chainfire "Ext4" que te lo hace automáticamente.
Es un formato de archivo de linux. El galaxy viene por defecto con formato rtfs pero ese formato con el tiempo produce lag por eso la mayoría lo pasamos a ext4 para que no suceda y el movil vaya más fluido.
