[Bug 1122569] No bootmenu entries in JeOS image for Raspberry Pi 3 / grub2-once fails