pass amount of available memory to rump kernel