> I need to reboot stat1001, stat1002, stat1003 to update the running Linux kernels on these hosts.

This has now been completed.

Cheers,

Moritz