Convert the existing port in genode-world to a patch that can be applied against pkgs.SDL2.
pkgs.SDL2
I've started on this at https://hg.sr.ht/~ehmry/SDL/rev/genode