2018-08-07 - production
08:13	<godog>	reboot tegmen with a new kernel	[production]