2023-06-13 - production
09:24	<fabfur>	reboot cp4037 and cp4045 for kernel upgrade (T335835)	[production]