[PATCH 4/4] grub cloud: Add kernel release to boot ID