2016-08-10 - production
09:44	<moritzm>	rebooting pollux for kernel update to 4.4	[production]