Matt explains how GOV.UK borrowed an idea from CoreOS' reboot mechanism and are using etcd-backed distributed mutex to orchestrate unattended reboots across their Ubuntu server estate to apply essential security updates.