2019-06-20 - production
11:14	<moritzm>	rebooting mw2235, mw2255, mw2271 for MDS kernel update	[production]