2014-11-18 - production
01:27	<Tim>	on osmium: removing ori's custom kernel and rebooting	[production]