Re: [coreboot] How can I load SeaBIOS from GRUB with native VGA+VGA option ROM