What happens to set kernel arguments after launch? Must I reset them?...