[Bug 1157019] RPi3: no grub menu on serial console

http://bugzilla.suse.com/show_bug.cgi?id=1157019 Matthias Brugger <mbrugger@suse.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fvogt@suse.com -- You are receiving this mail because: You are on the CC list for the bug.