monitoring a fleet

Rebuilding the kernel image. If you use Arch Linux, it’s a pretty frequent occurence. The default is mkinitcpio, a much faster option is booster!