It seems that Genode lacks ext4 support. Is there any intention to port an ext4 driver to Genode? How hard would this task be?