2019-06-20 - production
10:58	<moritzm>	rebooting scb100[12], mw2139 for MDS kernel update (their CPUs were previously unsupported by Intel, but are now covered with the new release)	[production]