Re: [opensuse-arm] JeOS-raspberrypi3_aarch64 GRUB issues