fixup "rump: Port of the rump kernels to Genode"