Prepare rumprun for use in Genode's tool chain

For now, we patch the sources directly. In long term it would be nicer
to the use original rumprun repo.