grml-boot-update: script to maintain /boot on grml USB boot device