Reboot if necessary (e.g. after kernel update)

#!/bin/bash
if [ -f /var/run/reboot-required ]; then
  reboot now
fi